more sensible default for "git push" (current branch only)
use F12 for Firefox now (browser for dev)