search

sagemath / trac-to-github

Script to migrate Trac tickets to GitHub issues and the Trac wiki to markdown. Input: https://trac.sagemath.org/ ➠ Intermediate: https://github.com/sagemath/trac_to_gh ➠ Output: https://github.com/sagemath/sage/issues
https://trac.sagemath.org/ticket/30363
7 stars 5 forks source link

Disable pull-request github workflows #157

Closed tobiasdiez closed 1 year ago

tobiasdiez commented 1 year ago

Currently, there are a few github workflows triggered by pull-requests (e.g. ci-linux and ci-macos). As they take too much time to be invoked on every pull request, this triggers should be removed.

mkoeppe commented 1 year ago

Taking care of this in https://trac.sagemath.org/ticket/34942

tobiasdiez commented 1 year ago

What is the plan to get this ticket now merged? If one allows PRs to the new repo (without merging this ticket first), then the ci will be overloaded quite quickly. Can you open a PR with your commits and merge it before opening up the new repo for the "public"?

mkoeppe commented 1 year ago

@vbraun Would you be able to prepare a 9.8.rc1 that includes https://trac.sagemath.org/ticket/34942?