Closed kwankyu closed 2 years ago
I put PR #143 as a "dependency". Perhaps a workflow for "dependency" needs to be added to the migration guide.
I have no experience with github cli. But it seems that git github
as a replacement to git trac
would be convenient.
ok, thx, also for fixing this integration check. the new entry in the bibliography should be live now.
Thank you!
This is also a practice of the github workflow for sage developers, as suggested in
https://groups.google.com/g/sage-devel/c/2K8BvPOE7h8