Skip to content

Instantly share code, notes, and snippets.

@DavideD

DavideD/gist:3742603

Created September 18, 2012 11:10
Show Gist options
  • Save DavideD/3742603 to your computer and use it in GitHub Desktop.
Save DavideD/3742603 to your computer and use it in GitHub Desktop.
Download ZIP
Git common options for repository
Raw
gistfile1.txt
#The receive.denyNonFastforwards flag makes sure that merges can't happen when you push to the repo. You have to do the merges on your local machine, and then push the result.
git config receive.denyNonFastforwards true
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment