Robert Muir skrev:
Is it really git? Because its my understanding pull requests aren't
actually a git thing but a github thing.
The distinction is important.
Actually Im not sure. Have never used git outside github, but at least
part of it has to be git and not github (I think) - or else I couldnt
imagine how you get the advantages you get. Remember that when using git
you actually run a "repository" on every developers local machines. When
you commit, you commit only to you local "repository". You need to
"push" in order to have it "upstreamed" (as they call it)
---------------------------------------------------------------------
To unsubscribe, e-mail: dev-unsubscr...@lucene.apache.org
For additional commands, e-mail: dev-h...@lucene.apache.org