that
git protocol will use port=443 automagically? Should this be done
via git (e.g., using `git remote` or `git config`)? or via ssh
(e.g., using ~/.ssh/config), or some other way?
TIA, Tom Roche tom_ro...@pobox.com
--
You received this message because you are subscribed to the Google Groups Git
: is there another way to do this?
TIA, Tom Roche tom_ro...@pobox.com
--
You received this message because you are subscribed to the Google Groups Git
for human beings group.
To post to this group, send email to git-users@googlegroups.com.
To unsubscribe from this group, send email to
git-users
Tom Roche Monday, May 7, 2012 10:09:29 AM UTC-7
How to [easily] overwrite managed files in an existing directory
with the latest versions from a remote branch/repo, without merging
or whack-n-clone?
as defined @ top of thread
https://groups.google.com/d/topic/git-users/vYnSjP5ueXs/discussion
painful, and maybe that's what Fred deserves. But I'm wondering, is
there a way to accomplish Fred's objective more easily?
TIA, Tom Roche tom_ro...@pobox.com
--
You received this message because you are subscribed to the Google Groups Git
for human beings group.
To unsubscribe from this group
https://groups.google.com/forum/#!topic/git-users/nzwVr5li3cM
Tom Roche
How to restrict the commit history or messages that get pushed to a remote
repository?
...
Gergely Polonkai
...
git rebase -i[.] Before pushing, rebase on the last public commit, and
edit/squash the unnecessary