-
-
Notifications
You must be signed in to change notification settings - Fork 573
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
Allow pull requests from Github #30406
Comments
comment:1
Is this functionality that we want? There are several warnings about how the sage github repo doesn't accept PRs and to instead use trac. |
comment:2
Ah, only now do I see that this is morally a continuation of the commentary occuring in #30363 |
comment:3
Thanks for the link, I had forgotten where I read about the lost bot. |
comment:4
We are accepting merge requests through GitLab: https://gitlab.com/sagemath/sage The GitHub page should link to that. |
comment:6
Setting new milestone based on a cursory review of ticket status, priority, and last modification date. |
comment:7
The bot to turn pull requests to the SageMath repo at GitHub In a 2014-08 sage-devel discussion, Robert described:
The bot stopped working around mid 2015. In a 2016-07 sage-devel discussion, Paul wrote:
and Robert wrote:
In a 2018-02 discussion on the sagemath-admins mailing list, Robert wrote:
|
comment:8
Christopher Swenson pointed me to this: https://github.com/swenson/sage-workflow/blob/master/sagedev/pr_export.py |
This comment has been minimized.
This comment has been minimized.
comment:10
If you really want to do this I would recommend looking at the gitlab hook in the Trac plugin (ironically still hosted on GH though I would prefer to move it): https://github.com/sagemath/sage_trac_plugin/blob/master/sage_trac/gitlab.py Most of this could be refactored to abstract out the GitLab and GitHub API differences. Personally I am not motivated to do it though. |
comment:12
Though we migrate to github, trac may function as a secondary issue tracker or at least archiver if this ticket is achieved. Or would we close trac completely after the migration? |
comment:13
I would think we would probably keep Trac around in read-only mode for a little while, just so that people can easily see that nothing has been lost in the conversion. But definitely not more than that. Definitely not a converter from GH to Trac. |
Dependencies: #30363 |
comment:15
We would not want to break links to trac somehow. Eg we could host all of trac.sagemath.org in static readonly mode (e.g via github pages) forever to preserve the links. |
comment:16
Or set up http redirects to the Issues? The plan is to map them 1:1 |
comment:17
I've added these ideas to #30363, let's take the discussion there. |
I've heard that once upon a time there was a bot that created trac issues based on GitHub PRs. Apparently the bot was lost.
I found https://github.com/trac-hacks/trac-github which has the feature to "update the local git mirror used by Trac after each push to GitHub, and notify the new changesets to Trac;". Sounds like this is exactly what would be needed to allow PRs from github.
I couldn't find anything on how to install trac plugins here on sage.
Related:
Depends on #30363
CC: @embray @mkoeppe @robertwb @slel @williamstein
Component: misc
Issue created by migration from https://trac.sagemath.org/ticket/30406
The text was updated successfully, but these errors were encountered: