On Tuesday, September 13, 2022 at 7:15:10 PM UTC-7 Nils Bruin wrote: > On Tuesday, 13 September 2022 at 14:04:24 UTC-7 dim...@gmail.com wrote: > >> git-trac's functionality is provided by cli, a command line tool ftom >> GitHub, so this is all covered (except parts of git-trac only used by >> Volker-but you don't need to worry about this) >> >> it's explained in some detail in docs prepared by Matthias. >> >> Yes, indeed. "gh pr checkout" ( > https://cli.github.com/manual/gh_pr_checkout) looks like pretty much like > an exact analogue for "git trac checkout" >
I've added this now, thanks. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/3cc4ac28-c925-4567-96a2-3b732e63ca0en%40googlegroups.com.
