Importance labels should be set when the status reaches Confirmed stage. It is a combination of short-term impact (unavailability of a feature), long-term impact (data corruption, security breach), number of people affected, and presence of a documented workaround. Use these as guidelines:
All new issues submitted by community users initially should have status New.
If issue is lacking information to reproduce or assess importance of the issue, it’s status should be changed to Incomplete.
Once the issue is reproduced it should be prioritized and assigned status Confirmed.
When the issue is merged into development or release branch it’s status s hould be updated to Fix Committed.
Note: Since Galaxy is a community project, we should be careful about closing issues. Closing issues before release leads to users confusion, because it’s unclear whether the fix is applied or not.
When the issue is released, it should be updated with status Fix Released, the milestone the milestone/version it was fixed in and then closed.
If the issue is closed with status Invalid or Won’t fix it should include comment that describes motivation behind the decision.
devel
¶devel
branch is the default branch in Galaxy repository. It is used
as a primary merge target for all feature and bugfix pull requests.
master
¶master
branch points to a latest release version, which is running
on Galaxy web site.
Release branches release/x.x.x
, whhere x.x.x
is for next release version,
are used for release preparation. Pull requests that are intended to be
released as a part of next release version should be merged to release branch
following Release process.
Prepare your devel, stable, and feature branches:
git fetch upstream
git checkout -b backport/3.0/[PR_NUMBER_FROM_DEVEL] upstream/release/3.0
Cherry pick the relevant commit SHA from the devel branch into your feature branch, handling merge conflicts as necessary:
git cherry-pick -x [SHA_FROM_DEVEL]
Add a changelog entry for the change, and commit it. Then push your feature branch to your fork on GitHub:
git push origin backport/3.0/[PR_NUMBER_FROM_DEVEL]
Submit the pull request for backport/3.0/[PR_NUMBER_FROM_DEVEL]
against
the release/3.0
branch.
Name your pull request accordingly to the original one.
Include a reference to the original pull request into description
in format (. Assign a backport
label.
Example:
Improve breadcrumbs
* Update header to accept icon parameter.
* Hide breadcrumbs on small devices.
* Make line under header extend width of page.
Issue: #718
Backport: #961
(cherry picked from commit 459f13c0c39f65a99dc1736a0fa09250f37e86ea)
Merge release/<x.x.x>
branch to master:
git checkout master
git merge -m "Release <x.x.x>" release/<x.x.x>
Tag merge commit as v<x.x.x>
:
git tag -s -m "Release <x.x.x>"
Push merge commit and release tag to upstream repository:
git push upstream master
git push upstream v<x.x.x>