-
Notifications
You must be signed in to change notification settings - Fork 3.6k
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
MIGRATION: [Developer] The merge_arrow_pr script should be able to handle issues on GitHub and JIRA #14720
Comments
I am unsure on the details of parquet as a "sub-project"(?) but I really don't think it makes any sense to use two separate tools for issue tracking within the same repo. |
This doesn't necessarily have to be in the merge script. For example, we could also have a bot that runs whenever a PR is merged, checks if there is a component label set, and if not adds a comment like "Hey merger, you forgot a component label!"
I see that the 11.0.0 milestone already exists (the only relevant on the short term, I think, since for a potential 10.0.2 we still use JIRA?) |
I like the We would probably still use the merge script that would handle the duty of autoclosing the GH issue if desired. |
I think we should try to consistently use the Whether we should include the "GH-xxx" in the title, I don't have a strong opinion (it makes it clearer that there it is a PR with an associated issue, but if we allow PRs without such associated issue, PRs would have a mix of titles with and without that prefix anyway ..) |
I think that's just GitHub that recognizes such text and make it into a hyperlink when rendering? |
…ub issues and JIRA (#14731) This might require to be done once the merge_arrow_pr.sh script is also updated. Updating the merge PR script is tracked on GitHub for the migration here: #14720 I have tested this new workflow on my fork with the following PRs and issues on my fork. Example of valid issue: raulcd#41 Example of issues without labels or assignees: raulcd#42 or raulcd#43 Example of issue with non existent GH issue: raulcd#45 Authored-by: Raúl Cumplido <raulcumplido@gmail.com> Signed-off-by: Alessandro Molina <amol@turbogears.org>
Describe the feature requested.
As we are migrating from JIRA issues to GitHub issues and now that no new users can be created on JIRA we should modify the
merge_pr
script to be able to handle issues on GitHub.I am happy to work on a PR but there are some things that might need to be decided first.
ARROW-XXXX:
. Do we want to do the same with GitHub issues:GH-XXXXX:
or do we want to have a mandatoryCloses XXXX
on the PR description so once the PR is merged the issue gets automatically closed? We have to define a way for either the merge script or the PR being merge to close the GitHub issue.The
merge_pr
script should continue working with JIRA as theparquet CPP
project is not going to be move to GitHub as far as I understand.Component
Developer Tools
The text was updated successfully, but these errors were encountered: