On 04/28/2013 09:24 AM, John Griessen wrote:
On 04/28/2013 08:43 AM, John Griessen wrote:
On 04/24/2013 10:28 PM, al davis wrote:
It looks like "git" is the choice,
but I invite other opinions.
One more thing:
From a list of ten git negatives:
http://steveko.wordpress.com/2012/02/24/10-things-i-hate-about-git/
7. Unsafe version control
The fundamental promise of any version control system is this: “Once you put
your precious source code
in here, it’s safe. You can make any changes you like, and you can always get
it back”.
Git breaks this promise. Several ways a committer can irrevocably destroy the
contents of a repository:
git add . / … / git push -f origin master
git push origin +master
git rebase -i <some commit that has already been pushed and worked from> /
git push
_______________________________________________
Gnucap-devel mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/gnucap-devel
