On Monday, May 9, 2022 at 8:43:41 AM UTC-7 Samuel Lelievre wrote:
> Note that one can send a merge request against the
> SageMath repository mirrored at GitLab.com.
> The mechanism to sync that repo with Trac is still
> active and maintained (and hopefully backed up
> and documented some place?)
>
2022-05-08 21:59:35 UTC, Tobias:
>
> Given the recent issues with the git repo at trac,
> should we allow pushes to the github mirror
> and sync them back to trac using e.g.
> https://github.com/trac-hacks/trac-github?
>
> Would also simplify the contribution guide, since it's
> easier to push to g
Given the recent issues with the git repo at trac, should we allow pushes
to the github mirror and sync them back to trac using e.g.
https://github.com/trac-hacks/trac-github?
Would also simplify the contribution guide, since its easier to push to
github than setting up trac using ssh etc. (Als
I must sent email to you by mistake. Perhaps this is the issue
https://groups.google.com/g/sage-devel/c/RArcnGt0i6E
On Thursday, May 5, 2022 at 8:43:38 AM UTC-6 Frédéric Chapoton wrote:
> Hello,
> Since I recently upgraded my ubuntu to 22.04, I cannot push from and pull
> to
>
> g...@trac.sage
