-
Notifications
You must be signed in to change notification settings - Fork 1.5k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
TRIVIAL: Update release instructions #5215
Conversation
Codecov ReportAll modified and coverable lines are covered by tests ✅
Additional details and impacted files@@ Coverage Diff @@
## develop #5215 +/- ##
=========================================
- Coverage 78.0% 78.0% -0.0%
=========================================
Files 789 789
Lines 66951 66951
Branches 8107 8110 +3
=========================================
- Hits 52216 52210 -6
- Misses 14735 14741 +6 |
1095a4e
to
6f81185
Compare
c682b12
to
272591c
Compare
1b39de7
to
a0ba0a3
Compare
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This is looking great so far. I do want us to see if we can automate the many commands required to make a (beta) release (candidate), for instance by putting together a GitHub release bot or an interactive API script that does the heavy lifting and waits for any manual steps to complete.
* It's not relevant for most readers.
* Has more steps, but allows merges to develop to continue when a beta / RC is pending, increasing developer velocity. * Add a CI job to check that no reverse merges have been missed. * Add some useful scripts in bin/git: * Set up upstreams as expected for safer pushes * Squash a bunch of branches * Set the version number
# TODO: Remove the next line before merging | ||
pull_request: | ||
push: | ||
branches: | ||
# Only check that the branches are up to date when updating the | ||
# relevant branches. | ||
# TODO: Uncomment the next lines before merging | ||
# - develop | ||
# - release |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Friendly reminder to address these TODOs 🙂
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I wanted to ensure there was at least one run showing that the job worked.
CONTRIBUTING.md
Outdated
Some pull requests need to be pushed to `develop` as more than one | ||
commit. There are multiple ways to accomplish this. If the author |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Do you have any guidelines for when squash and merge isn't possible and pushing as more than one commit is necessary? Is it fair to assume that the squash and merge button will be disabled when such a situation arises?
If it is not intuitive to know when pushing as more than one commit (or following another approach) is required, it would be worthwhile to add in which cases it has to be done.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
The default is squash and merge. The author can request to do separate commits if they think it's worth it. Some examples are where file layout is restructured, or if the commits are changing truly independent things such that they could be separate PRs, but they're pulled together in one PR under a common theme or issue.
I'l rewrite this section to reflect that.
CONTRIBUTING.md
Outdated
**Never use the "Create a merge commit" or "Rebase and merge" Github UI | ||
functions!** |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This can be disabled at the repo-level, in Settings -> General and scroll down to Pull Requests, see screenshot.
Disabling the "Create a merge commit" or "Rebase and merge" at the repo-level seems compatible with these instructions, since releases are never done via the UI - thoughts?
Note that these settings currently cannot be configured at a branch-level, although GitHub is finally working on it and it's already available in Preview, see here. If configuring these settings at the repo-level isn't acceptable, do you know if Preview is enabled for this repo, what the consequences are for enabling it, and if it's then worthwhile setting up repository rules for the develop
branch?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
They are disabled in that section. I'll reword this.
Co-authored-by: Bart <bthomee@users.noreply.github.com>
* Clean up missing-commits.yml. TODOs, and reword the error message. * Some rewording in CONTRIBUTING around code reviewers and merging
Marking this as "Trivial" because it has no effect on the |
Proposed commit message:
|
High Level Overview of Change
Updates
CONTRIBUTING.md
documentation to introduce a new workflow that avoids code freezes. Also adds a few helpful scripts that can be used in by maintainers in branch management, and a CI job to check that code is consistent across the three main branches:master, release, and develop
Context of Change
The current workflow can be confusing. This new workflow is a little more complicated, but has simpler basic rules:
develop
.develop
torelease
tomaster
.master
torelease
todevelop
.The changes are in two commits:
This is intended to make the changes easier to review. The PR will be squashed into one commit when merged to
develop
. The second commit message should be used when merging.Type of Change
.gitignore
, formatting, dropping support for older tooling)Test Plan
No code changes, so nothing to test there.
One new CI job. Ensure it passes.
Future Tasks