Re: [git-users] What is exactly happening when a Github pull request gets 'polluted'?

2017-01-05 Thread AD S
Thanks! That makes sense. On Thursday, January 5, 2017 at 10:58:43 PM UTC+10, Philip Oakley wrote: > > AD, > As Gergely noted, the Github PRS are branch references. > > It can be note that one can update a PR by force pushing an updated branch > to the website. I use this for revised versions of

Re: [git-users] What is exactly happening when a Github pull request gets 'polluted'?

2017-01-05 Thread AD S
On Thursday, January 5, 2017 at 5:37:30 PM UTC+10, Gergely Polonkai wrote: > > Hello, > > it's a bit unclear what exactly you mean by “polluted”. > What I mean is that I will create a branch on Github for my work, which will later be merged into the main, large project. Sometimes, this branc

Re: [git-users] What is exactly happening when a Github pull request gets 'polluted'?

2017-01-05 Thread Philip Oakley
AD, As Gergely noted, the Github PRS are branch references. It can be note that one can update a PR by force pushing an updated branch to the website. I use this for revised versions of proposed updates to Git-for-Windows, allowing me to rebase my branch and add in corrections. This hints at th