Hello,
Another thing is -f option, which can be used to The git tool is nice
in general, but it is possible to destroy a whole project with -f.
I think you mean Git's "force push" mechanism which, which rewrites the
commit history on the remote side (what we'd think of as the master
repository in a non-distributed VCS world). GitHub does include an
option where administrators can disable force push to a repository.
(Not necessarily meant as an endorsement of GitHub; I think it's fine,
but I also think keeping project server ownership within a project's
organization, rather than hosted with a third party, is also good.)
Humbly,
Andrew
----------------------------------------------------------------------
'Twas brillig, and the slithy toves Andrew Ho
Did gyre and gimble in the wabe. [email protected]
All mimsy were the borogoves,
And the mome raths outgrabe. http://www.zeuscat.com/andrew/
----------------------------------------------------------------------
--
## List details at https://lists.exim.org/mailman/listinfo/pcre-dev
