Hi all!
After playing around with GitHub's features in https://github.com/colinfinck/sandbox for the last few days, it turns out that its server-side settings hardly prevent repository mess.
Although I have set master to be a "protected branch" and enabled the option "Require branches to be up to date before merging", it allows me to push just everything that doesn't rewrite history. This includes any kind of merge commits, even the nasty automatic merges that occur when you commit to your outdated local master and then do the requested "git pull" before pushing. GitHub Staff confirmed to me that GitHub has no way of enforcing a rebase-only workflow. For a self-hosted Git, a simple pre-receive hook like https://stackoverflow.com/a/5493549 would do the trick.
The only other option GitHub offers is requiring each commit to go to a branch. Changes to master can only happen through an approved Pull Request then. This would drastically change our workflow though, and I don't think we want this additional burden for every minor change.
Before we now reverse our decision for a GitHub master repo, let's verify that a self-hosted Git repo with an enforced rebase-only workflow is really what we want:
- It would ensure a linear history in the "master" branch, just like WINE has. If you sort by "Commit Date" instead of "Author Date", the history would even be chronological. - When contributing changes from a branch back to "master" using "git rebase", every single commit is reapplied with a new hash. Except for the author dates, these commits have no link to the original branch. - Without GitHub as the master repo, we would lose the ability to merge Pull Requests directly from the website. That would sooner or later turn the entire Pull Request feature of GitHub useless for us. Contrary to what people told me, GitHub doesn't detect when you merge the Pull Request locally and push these changes back to GitHub.
On the other hand, what would an unrestricted GitHub provide us:
- Discussing, improving, and later merging Pull Requests directly on the website. Merging, squash merging, and rebase merging is supported. Not just for our own branches, but also for forks of the ReactOS repo. - Our history graph in the "master" branch will inevitably become a stream of parallel lines, making it harder to follow the history chronologically. Worst-case example is the Linux kernel: http://fs5.directupload.net/images/170914/h5pddxx7.png (ok, admittedly gitk renders this graph a bit nicer)
Allowing merges used to be an even bigger problem when we still wanted a linear history to replicate SVN revision numbers. But we now replaced revision numbers by the output of "git describe". So maybe merge commits are ok now? At least, we should be able to prevent automatic merge commits by instructing every committer to use "git fetch && git rebase origin" instead of "git pull" when syncing with the server. A nicely written and illustrated (Tortoise)Git guide on the Wiki should do the job :)
I tend to favor the second option right now and allow merges, but I definitely need more input on this from you.
Best regards,
Colin
On Thu, Sep 14, 2017 at 11:23 AM, Colin Finck colin@reactos.org wrote:
Hi all!
After playing around with GitHub's features in https://github.com/colinfinck/sandbox for the last few days, it turns out that its server-side settings hardly prevent repository mess.
Although I have set master to be a "protected branch" and enabled the option "Require branches to be up to date before merging", it allows me to push just everything that doesn't rewrite history. This includes any kind of merge commits, even the nasty automatic merges that occur when you commit to your outdated local master and then do the requested "git pull" before pushing. GitHub Staff confirmed to me that GitHub has no way of enforcing a rebase-only workflow. For a self-hosted Git, a simple pre-receive hook like https://stackoverflow.com/a/5493549 would do the trick.
For what it's worth, GitLab does actually support this on GitLab.com, and the self-hosted option has it too. This lets you preserve the model as-is.
The feature is in the EE variant, but it's moving to CE: https://gitlab.com/gitlab-org/gitlab-ce/issues/20076
I vote for recommending devs to use pull requests, and to make it a semi-strict policy that devs who push directly to master should ALWAYS make sure to pull and rebase before pushing.
I myself intend on almost exclusively contribute through pull requests. This means:
1. I'll push to my own fork, and work backed by the fork 2. When I'm done doing something, I will use the pull request feature, rather than "git push upstream/master" 3. If the changes are non-trivial, I'll ask for a second opinion from some other developer 4. I'll push "merge with rebase" myself, but only when I feel the changes are "sufficiently approved"
I would vote for using such a workflow as a primary way of contributing, since it avoids all sorts of issues, and has the added benefit of the automatic "merge with rebase".
On 14 September 2017 at 17:23, Colin Finck colin@reactos.org wrote:
Hi all!
After playing around with GitHub's features in https://github.com/colinfinck/sandbox for the last few days, it turns out that its server-side settings hardly prevent repository mess.
Although I have set master to be a "protected branch" and enabled the option "Require branches to be up to date before merging", it allows me to push just everything that doesn't rewrite history. This includes any kind of merge commits, even the nasty automatic merges that occur when you commit to your outdated local master and then do the requested "git pull" before pushing. GitHub Staff confirmed to me that GitHub has no way of enforcing a rebase-only workflow. For a self-hosted Git, a simple pre-receive hook like https://stackoverflow.com/a/5493549 would do the trick.
The only other option GitHub offers is requiring each commit to go to a branch. Changes to master can only happen through an approved Pull Request then. This would drastically change our workflow though, and I don't think we want this additional burden for every minor change.
Before we now reverse our decision for a GitHub master repo, let's verify that a self-hosted Git repo with an enforced rebase-only workflow is really what we want:
- It would ensure a linear history in the "master" branch, just like
WINE has. If you sort by "Commit Date" instead of "Author Date", the history would even be chronological.
- When contributing changes from a branch back to "master" using "git
rebase", every single commit is reapplied with a new hash. Except for the author dates, these commits have no link to the original branch.
- Without GitHub as the master repo, we would lose the ability to merge
Pull Requests directly from the website. That would sooner or later turn the entire Pull Request feature of GitHub useless for us. Contrary to what people told me, GitHub doesn't detect when you merge the Pull Request locally and push these changes back to GitHub.
On the other hand, what would an unrestricted GitHub provide us:
- Discussing, improving, and later merging Pull Requests directly on the
website. Merging, squash merging, and rebase merging is supported. Not just for our own branches, but also for forks of the ReactOS repo.
- Our history graph in the "master" branch will inevitably become a
stream of parallel lines, making it harder to follow the history chronologically. Worst-case example is the Linux kernel: http://fs5.directupload.net/images/170914/h5pddxx7.png (ok, admittedly gitk renders this graph a bit nicer)
Allowing merges used to be an even bigger problem when we still wanted a linear history to replicate SVN revision numbers. But we now replaced revision numbers by the output of "git describe". So maybe merge commits are ok now? At least, we should be able to prevent automatic merge commits by instructing every committer to use "git fetch && git rebase origin" instead of "git pull" when syncing with the server. A nicely written and illustrated (Tortoise)Git guide on the Wiki should do the job :)
I tend to favor the second option right now and allow merges, but I definitely need more input on this from you.
Best regards,
Colin
Ros-dev mailing list Ros-dev@reactos.org http://www.reactos.org/mailman/listinfo/ros-dev
I'm wary of opening up pushing to master. If we really want a linear history, it should be enforced. Accidents with version control happen all the time (when was the last time the SVN pre-commit hook stopped you from committing because you forgot to set eol-style?).
I wouldn't mind forcing the use of pull requests, assuming we can set it up so that merge is allowed with no reviews (those would be recommended, but enforcing them seems too much).
Though I'm also okay with giving up the linear history idea altogether, or hosting the repo elsewhere (e.g. we could host a Bitbucket instance).
On 2017-09-14 17:48, David Quintana (gigaherz) wrote:
I vote for recommending devs to use pull requests, and to make it a semi-strict policy that devs who push directly to master should ALWAYS make sure to pull and rebase before pushing.
I myself intend on almost exclusively contribute through pull requests. This means:
1. I'll push to my own fork, and work backed by the fork 2. When I'm done doing something, I will use the pull request feature, rather than "git push upstream/master" 3. If the changes are non-trivial, I'll ask for a second opinion from some other developer 4. I'll push "merge with rebase" myself, but only when I feel the changes are "sufficiently approved"I would vote for using such a workflow as a primary way of contributing, since it avoids all sorts of issues, and has the added benefit of the automatic "merge with rebase".
On 14 September 2017 at 17:23, Colin Finck colin@reactos.org wrote:
Hi all!
After playing around with GitHub's features in https://github.com/colinfinck/sandbox for the last few days, it turns out that its server-side settings hardly prevent repository mess.
Although I have set master to be a "protected branch" and enabled the option "Require branches to be up to date before merging", it allows me to push just everything that doesn't rewrite history. This includes any kind of merge commits, even the nasty automatic merges that occur when you commit to your outdated local master and then do the requested "git pull" before pushing. GitHub Staff confirmed to me that GitHub has no way of enforcing a rebase-only workflow. For a self-hosted Git, a simple pre-receive hook like https://stackoverflow.com/a/5493549 would do the trick.
The only other option GitHub offers is requiring each commit to go to a branch. Changes to master can only happen through an approved Pull Request then. This would drastically change our workflow though, and I don't think we want this additional burden for every minor change.
Before we now reverse our decision for a GitHub master repo, let's verify that a self-hosted Git repo with an enforced rebase-only workflow is really what we want:
- It would ensure a linear history in the "master" branch, just like
WINE has. If you sort by "Commit Date" instead of "Author Date", the history would even be chronological.
- When contributing changes from a branch back to "master" using "git
rebase", every single commit is reapplied with a new hash. Except for the author dates, these commits have no link to the original branch.
- Without GitHub as the master repo, we would lose the ability to merge
Pull Requests directly from the website. That would sooner or later turn the entire Pull Request feature of GitHub useless for us. Contrary to what people told me, GitHub doesn't detect when you merge the Pull Request locally and push these changes back to GitHub.
On the other hand, what would an unrestricted GitHub provide us:
- Discussing, improving, and later merging Pull Requests directly on the
website. Merging, squash merging, and rebase merging is supported. Not just for our own branches, but also for forks of the ReactOS repo.
- Our history graph in the "master" branch will inevitably become a
stream of parallel lines, making it harder to follow the history chronologically. Worst-case example is the Linux kernel: http://fs5.directupload.net/images/170914/h5pddxx7.png (ok, admittedly gitk renders this graph a bit nicer)
Allowing merges used to be an even bigger problem when we still wanted a linear history to replicate SVN revision numbers. But we now replaced revision numbers by the output of "git describe". So maybe merge commits are ok now? At least, we should be able to prevent automatic merge commits by instructing every committer to use "git fetch && git rebase origin" instead of "git pull" when syncing with the server. A nicely written and illustrated (Tortoise)Git guide on the Wiki should do the job :)
I tend to favor the second option right now and allow merges, but I definitely need more input on this from you.
Best regards,
Colin
Yep, going through PRs always and only using commit access to master for administrative reasons would be reasonable too, so far as team devs can merge their own PRs. If "no pushing to master" can be enforced for non-admins, I'm okay with that.
On 14 September 2017 at 19:07, Thomas Faber thomas.faber@reactos.org wrote:
I'm wary of opening up pushing to master. If we really want a linear history, it should be enforced. Accidents with version control happen all the time (when was the last time the SVN pre-commit hook stopped you from committing because you forgot to set eol-style?).
I wouldn't mind forcing the use of pull requests, assuming we can set it up so that merge is allowed with no reviews (those would be recommended, but enforcing them seems too much).
Though I'm also okay with giving up the linear history idea altogether, or hosting the repo elsewhere (e.g. we could host a Bitbucket instance).
On 2017-09-14 17:48, David Quintana (gigaherz) wrote:
I vote for recommending devs to use pull requests, and to make it a semi-strict policy that devs who push directly to master should ALWAYS make sure to pull and rebase before pushing.
I myself intend on almost exclusively contribute through pull requests. This means:
1. I'll push to my own fork, and work backed by the fork 2. When I'm done doing something, I will use the pull request feature, rather than "git push upstream/master" 3. If the changes are non-trivial, I'll ask for a second opinion from some other developer 4. I'll push "merge with rebase" myself, but only when I feel the changes are "sufficiently approved"I would vote for using such a workflow as a primary way of contributing, since it avoids all sorts of issues, and has the added benefit of the automatic "merge with rebase".
On 14 September 2017 at 17:23, Colin Finck colin@reactos.org wrote:
Hi all!
After playing around with GitHub's features in https://github.com/colinfinck/sandbox for the last few days, it turns out that its server-side settings hardly prevent repository mess.
Although I have set master to be a "protected branch" and enabled the option "Require branches to be up to date before merging", it allows me to push just everything that doesn't rewrite history. This includes any kind of merge commits, even the nasty automatic merges that occur when you commit to your outdated local master and then do the requested "git pull" before pushing. GitHub Staff confirmed to me that GitHub has no way of enforcing a rebase-only workflow. For a self-hosted Git, a simple pre-receive hook like https://stackoverflow.com/a/5493549 would do the trick.
The only other option GitHub offers is requiring each commit to go to a branch. Changes to master can only happen through an approved Pull Request then. This would drastically change our workflow though, and I don't think we want this additional burden for every minor change.
Before we now reverse our decision for a GitHub master repo, let's verify that a self-hosted Git repo with an enforced rebase-only workflow is really what we want:
- It would ensure a linear history in the "master" branch, just like
WINE has. If you sort by "Commit Date" instead of "Author Date", the history would even be chronological.
- When contributing changes from a branch back to "master" using "git
rebase", every single commit is reapplied with a new hash. Except for the author dates, these commits have no link to the original branch.
- Without GitHub as the master repo, we would lose the ability to merge
Pull Requests directly from the website. That would sooner or later turn the entire Pull Request feature of GitHub useless for us. Contrary to what people told me, GitHub doesn't detect when you merge the Pull Request locally and push these changes back to GitHub.
On the other hand, what would an unrestricted GitHub provide us:
- Discussing, improving, and later merging Pull Requests directly on the
website. Merging, squash merging, and rebase merging is supported. Not just for our own branches, but also for forks of the ReactOS repo.
- Our history graph in the "master" branch will inevitably become a
stream of parallel lines, making it harder to follow the history chronologically. Worst-case example is the Linux kernel: http://fs5.directupload.net/images/170914/h5pddxx7.png (ok, admittedly gitk renders this graph a bit nicer)
Allowing merges used to be an even bigger problem when we still wanted a linear history to replicate SVN revision numbers. But we now replaced revision numbers by the output of "git describe". So maybe merge commits are ok now? At least, we should be able to prevent automatic merge commits by instructing every committer to use "git fetch && git rebase origin" instead of "git pull" when syncing with the server. A nicely written and illustrated (Tortoise)Git guide on the Wiki should do the job :)
I tend to favor the second option right now and allow merges, but I definitely need more input on this from you.
Best regards,
Colin
Ros-dev mailing list Ros-dev@reactos.org http://www.reactos.org/mailman/listinfo/ros-dev
With two votes in favor of a Pull Request policy and no objections here or on IRC, I'm going to restrict our GitHub to only allow contributions to the "master" branch using Pull Requests. Although Pull Requests of trusted committers won't require a review beforehand. Nevertheless, you are encouraged to do that for bigger changes.
This is your last chance to object! I know that enforcing Pull Requests adds another step until your code makes it into master. On the other hand, they pave the way for frequent code reviews and ensure a cleaner master branch.
Finally, don't forget that you will most likely work in your own branches anyway. These come without any restrictions and give you independence from other people's changes to master. You can even modify your own commits after pushing. Hopefully, this fosters the "commit early, commit often" idea and losing code in working copies on broken HDDs becomes a thing of the past.
Cheers,
Colin
Am 14.09.2017 um 19:07 schrieb Thomas Faber:
I'm wary of opening up pushing to master. If we really want a linear history, it should be enforced. Accidents with version control happen all the time (when was the last time the SVN pre-commit hook stopped you from committing because you forgot to set eol-style?).
I wouldn't mind forcing the use of pull requests, assuming we can set it up so that merge is allowed with no reviews (those would be recommended, but enforcing them seems too much).
Though I'm also okay with giving up the linear history idea altogether, or hosting the repo elsewhere (e.g. we could host a Bitbucket instance).
On 2017-09-14 17:48, David Quintana (gigaherz) wrote:
I vote for recommending devs to use pull requests, and to make it a semi-strict policy that devs who push directly to master should ALWAYS make sure to pull and rebase before pushing.
I myself intend on almost exclusively contribute through pull requests. This means:
1. I'll push to my own fork, and work backed by the fork 2. When I'm done doing something, I will use the pull request feature, rather than "git push upstream/master" 3. If the changes are non-trivial, I'll ask for a second opinion from some other developer 4. I'll push "merge with rebase" myself, but only when I feel the changes are "sufficiently approved"
I would vote for using such a workflow as a primary way of contributing, since it avoids all sorts of issues, and has the added benefit of the automatic "merge with rebase".
On 14 September 2017 at 17:23, Colin Finck colin@reactos.org wrote:
Hi all!
After playing around with GitHub's features in https://github.com/colinfinck/sandbox for the last few days, it turns out that its server-side settings hardly prevent repository mess.
Although I have set master to be a "protected branch" and enabled the option "Require branches to be up to date before merging", it allows me to push just everything that doesn't rewrite history. This includes any kind of merge commits, even the nasty automatic merges that occur when you commit to your outdated local master and then do the requested "git pull" before pushing. GitHub Staff confirmed to me that GitHub has no way of enforcing a rebase-only workflow. For a self-hosted Git, a simple pre-receive hook like https://stackoverflow.com/a/5493549 would do the trick.
The only other option GitHub offers is requiring each commit to go to a branch. Changes to master can only happen through an approved Pull Request then. This would drastically change our workflow though, and I don't think we want this additional burden for every minor change.
Before we now reverse our decision for a GitHub master repo, let's verify that a self-hosted Git repo with an enforced rebase-only workflow is really what we want:
- It would ensure a linear history in the "master" branch, just like
WINE has. If you sort by "Commit Date" instead of "Author Date", the history would even be chronological.
- When contributing changes from a branch back to "master" using "git
rebase", every single commit is reapplied with a new hash. Except for the author dates, these commits have no link to the original branch.
- Without GitHub as the master repo, we would lose the ability to merge
Pull Requests directly from the website. That would sooner or later turn the entire Pull Request feature of GitHub useless for us. Contrary to what people told me, GitHub doesn't detect when you merge the Pull Request locally and push these changes back to GitHub.
On the other hand, what would an unrestricted GitHub provide us:
- Discussing, improving, and later merging Pull Requests directly on the
website. Merging, squash merging, and rebase merging is supported. Not just for our own branches, but also for forks of the ReactOS repo.
- Our history graph in the "master" branch will inevitably become a
stream of parallel lines, making it harder to follow the history chronologically. Worst-case example is the Linux kernel: http://fs5.directupload.net/images/170914/h5pddxx7.png (ok, admittedly gitk renders this graph a bit nicer)
Allowing merges used to be an even bigger problem when we still wanted a linear history to replicate SVN revision numbers. But we now replaced revision numbers by the output of "git describe". So maybe merge commits are ok now? At least, we should be able to prevent automatic merge commits by instructing every committer to use "git fetch && git rebase origin" instead of "git pull" when syncing with the server. A nicely written and illustrated (Tortoise)Git guide on the Wiki should do the job :)
I tend to favor the second option right now and allow merges, but I definitely need more input on this from you.
Best regards,
Colin
Ros-dev mailing list Ros-dev@reactos.org http://www.reactos.org/mailman/listinfo/ros-dev
A reminder that a huge added bonus is that going through PRs gives us thechance to setup automated CI builds, which would allow us to know if we are breaking linux building or such, *before *we merge.
On 17 September 2017 at 19:32, Colin Finck colin@reactos.org wrote:
With two votes in favor of a Pull Request policy and no objections here or on IRC, I'm going to restrict our GitHub to only allow contributions to the "master" branch using Pull Requests. Although Pull Requests of trusted committers won't require a review beforehand. Nevertheless, you are encouraged to do that for bigger changes.
This is your last chance to object! I know that enforcing Pull Requests adds another step until your code makes it into master. On the other hand, they pave the way for frequent code reviews and ensure a cleaner master branch.
Finally, don't forget that you will most likely work in your own branches anyway. These come without any restrictions and give you independence from other people's changes to master. You can even modify your own commits after pushing. Hopefully, this fosters the "commit early, commit often" idea and losing code in working copies on broken HDDs becomes a thing of the past.
Cheers,
Colin
Am 14.09.2017 um 19:07 schrieb Thomas Faber:
I'm wary of opening up pushing to master. If we really want a linear history, it should be enforced. Accidents with version control happen all the time (when was the last time the SVN pre-commit hook stopped you from committing because you forgot to set eol-style?).
I wouldn't mind forcing the use of pull requests, assuming we can set it up so that merge is allowed with no reviews (those would be recommended, but enforcing them seems too much).
Though I'm also okay with giving up the linear history idea altogether, or hosting the repo elsewhere (e.g. we could host a Bitbucket instance).
On 2017-09-14 17:48, David Quintana (gigaherz) wrote:
I vote for recommending devs to use pull requests, and to make it a semi-strict policy that devs who push directly to master should ALWAYS make sure to pull and rebase before pushing.
I myself intend on almost exclusively contribute through pull requests. This means:
1. I'll push to my own fork, and work backed by the fork 2. When I'm done doing something, I will use the pull requestfeature, rather than "git push upstream/master" 3. If the changes are non-trivial, I'll ask for a second opinion
from
some other developer 4. I'll push "merge with rebase" myself, but only when I feel the changes are "sufficiently approved"I would vote for using such a workflow as a primary way of contributing, since it avoids all sorts of issues, and has the added benefit of the automatic "merge with rebase".
On 14 September 2017 at 17:23, Colin Finck colin@reactos.org wrote:
Hi all!
After playing around with GitHub's features in https://github.com/colinfinck/sandbox for the last few days, it turns out that its server-side settings hardly prevent repository mess.
Although I have set master to be a "protected branch" and enabled the option "Require branches to be up to date before merging", it allows me to push just everything that doesn't rewrite history. This includes any kind of merge commits, even the nasty automatic merges that occur when you commit to your outdated local master and then do the requested "git pull" before pushing. GitHub Staff confirmed to me that GitHub has no way of enforcing a rebase-only workflow. For a self-hosted Git, a simple pre-receive hook like https://stackoverflow.com/a/5493549 would do the trick.
The only other option GitHub offers is requiring each commit to go to a branch. Changes to master can only happen through an approved Pull Request then. This would drastically change our workflow though, and I don't think we want this additional burden for every minor change.
Before we now reverse our decision for a GitHub master repo, let's verify that a self-hosted Git repo with an enforced rebase-only
workflow
is really what we want:
- It would ensure a linear history in the "master" branch, just like
WINE has. If you sort by "Commit Date" instead of "Author Date", the history would even be chronological.
- When contributing changes from a branch back to "master" using "git
rebase", every single commit is reapplied with a new hash. Except for the author dates, these commits have no link to the original branch.
- Without GitHub as the master repo, we would lose the ability to merge
Pull Requests directly from the website. That would sooner or later
turn
the entire Pull Request feature of GitHub useless for us. Contrary to what people told me, GitHub doesn't detect when you merge the Pull Request locally and push these changes back to GitHub.
On the other hand, what would an unrestricted GitHub provide us:
- Discussing, improving, and later merging Pull Requests directly on
the
website. Merging, squash merging, and rebase merging is supported. Not just for our own branches, but also for forks of the ReactOS repo.
- Our history graph in the "master" branch will inevitably become a
stream of parallel lines, making it harder to follow the history chronologically. Worst-case example is the Linux kernel: http://fs5.directupload.net/images/170914/h5pddxx7.png (ok, admittedly gitk renders this graph a bit nicer)
Allowing merges used to be an even bigger problem when we still wanted
a
linear history to replicate SVN revision numbers. But we now replaced revision numbers by the output of "git describe". So maybe merge
commits
are ok now? At least, we should be able to prevent automatic merge commits by instructing every committer to use "git fetch && git rebase origin" instead of "git pull" when syncing with the server. A nicely written
and
illustrated (Tortoise)Git guide on the Wiki should do the job :)
I tend to favor the second option right now and allow merges, but I definitely need more input on this from you.
Best regards,
Colin
Ros-dev mailing list Ros-dev@reactos.org http://www.reactos.org/mailman/listinfo/ros-dev
Ros-dev mailing list Ros-dev@reactos.org http://www.reactos.org/mailman/listinfo/ros-dev
Will there be any special plans regarding jira, fisheye, crucible and such tools? Down time for migration and such scheduled yet?
On Sep 17, 2017 2:46 PM, "David Quintana (gigaherz)" gigaherz@gmail.com wrote:
A reminder that a huge added bonus is that going through PRs gives us thechance to setup automated CI builds, which would allow us to know if we are breaking linux building or such, *before *we merge.
On 17 September 2017 at 19:32, Colin Finck colin@reactos.org wrote:
With two votes in favor of a Pull Request policy and no objections here or on IRC, I'm going to restrict our GitHub to only allow contributions to the "master" branch using Pull Requests. Although Pull Requests of trusted committers won't require a review beforehand. Nevertheless, you are encouraged to do that for bigger changes.
This is your last chance to object! I know that enforcing Pull Requests adds another step until your code makes it into master. On the other hand, they pave the way for frequent code reviews and ensure a cleaner master branch.
Finally, don't forget that you will most likely work in your own branches anyway. These come without any restrictions and give you independence from other people's changes to master. You can even modify your own commits after pushing. Hopefully, this fosters the "commit early, commit often" idea and losing code in working copies on broken HDDs becomes a thing of the past.
Cheers,
Colin
Am 14.09.2017 um 19:07 schrieb Thomas Faber:
I'm wary of opening up pushing to master. If we really want a linear history, it should be enforced. Accidents with version control happen all the time (when was the last time the SVN pre-commit hook stopped you from committing because you forgot to set eol-style?).
I wouldn't mind forcing the use of pull requests, assuming we can set it up so that merge is allowed with no reviews (those would be recommended, but enforcing them seems too much).
Though I'm also okay with giving up the linear history idea altogether, or hosting the repo elsewhere (e.g. we could host a Bitbucket instance).
On 2017-09-14 17:48, David Quintana (gigaherz) wrote:
I vote for recommending devs to use pull requests, and to make it a semi-strict policy that devs who push directly to master should ALWAYS make sure to pull and rebase before pushing.
I myself intend on almost exclusively contribute through pull requests. This means:
1. I'll push to my own fork, and work backed by the fork 2. When I'm done doing something, I will use the pull requestfeature, rather than "git push upstream/master" 3. If the changes are non-trivial, I'll ask for a second opinion
from
some other developer 4. I'll push "merge with rebase" myself, but only when I feel the changes are "sufficiently approved"I would vote for using such a workflow as a primary way of
contributing,
since it avoids all sorts of issues, and has the added benefit of the automatic "merge with rebase".
On 14 September 2017 at 17:23, Colin Finck colin@reactos.org wrote:
Hi all!
After playing around with GitHub's features in https://github.com/colinfinck/sandbox for the last few days, it turns out that its server-side settings hardly prevent repository mess.
Although I have set master to be a "protected branch" and enabled the option "Require branches to be up to date before merging", it allows
me
to push just everything that doesn't rewrite history. This includes
any
kind of merge commits, even the nasty automatic merges that occur when you commit to your outdated local master and then do the requested
"git
pull" before pushing. GitHub Staff confirmed to me that GitHub has no way of enforcing a rebase-only workflow. For a self-hosted Git, a simple pre-receive hook like https://stackoverflow.com/a/5493549 would do the trick.
The only other option GitHub offers is requiring each commit to go to
a
branch. Changes to master can only happen through an approved Pull Request then. This would drastically change our workflow though, and I don't think we want this additional burden for every minor change.
Before we now reverse our decision for a GitHub master repo, let's verify that a self-hosted Git repo with an enforced rebase-only
workflow
is really what we want:
- It would ensure a linear history in the "master" branch, just like
WINE has. If you sort by "Commit Date" instead of "Author Date", the history would even be chronological.
- When contributing changes from a branch back to "master" using "git
rebase", every single commit is reapplied with a new hash. Except for the author dates, these commits have no link to the original branch.
- Without GitHub as the master repo, we would lose the ability to
merge
Pull Requests directly from the website. That would sooner or later
turn
the entire Pull Request feature of GitHub useless for us. Contrary to what people told me, GitHub doesn't detect when you merge the Pull Request locally and push these changes back to GitHub.
On the other hand, what would an unrestricted GitHub provide us:
- Discussing, improving, and later merging Pull Requests directly on
the
website. Merging, squash merging, and rebase merging is supported. Not just for our own branches, but also for forks of the ReactOS repo.
- Our history graph in the "master" branch will inevitably become a
stream of parallel lines, making it harder to follow the history chronologically. Worst-case example is the Linux kernel: http://fs5.directupload.net/images/170914/h5pddxx7.png (ok, admittedly gitk renders this graph a bit nicer)
Allowing merges used to be an even bigger problem when we still
wanted a
linear history to replicate SVN revision numbers. But we now replaced revision numbers by the output of "git describe". So maybe merge
commits
are ok now? At least, we should be able to prevent automatic merge commits by instructing every committer to use "git fetch && git rebase origin" instead of "git pull" when syncing with the server. A nicely written
and
illustrated (Tortoise)Git guide on the Wiki should do the job :)
I tend to favor the second option right now and allow merges, but I definitely need more input on this from you.
Best regards,
Colin
Ros-dev mailing list Ros-dev@reactos.org http://www.reactos.org/mailman/listinfo/ros-dev
Ros-dev mailing list Ros-dev@reactos.org http://www.reactos.org/mailman/listinfo/ros-dev
Ros-dev mailing list Ros-dev@reactos.org http://www.reactos.org/mailman/listinfo/ros-dev
-
Colin Finck -
David Quintana (gigaherz) -
encoded -
Neal Gompa -
Thomas Faber