Closed soehms closed 1 year ago
@soehms @tobiasdiez Is it really necessary to add the original PR author's repo as a remote?
Can the same not also be done by just using the branch of the PR in our main repo? (pull/PR-NUMBER
)
Looking great, thanks both!
Thanks!
This belongs to issue #68 (see https://github.com/sagemath/trac-to-github/issues/68#issuecomment-1403102168)).