view public/javascripts/repository.js @ 431:d3af621ba9d4 bug_168

Update the master branch via git pull master rather than git fetch (which doesn't merge any particular branch)

function toggle_ext_url(){
	if($('repository_is_external').checked)
	    $('repository_external_url').enable();
	else
	    $('repository_external_url').disable();
}