Hi, Le mardi 2 avril 2019 21:40:14 UTC+2, Bea Galiana a écrit : > > Hi, > > so I was wondering, is it possible to push to trac without having a trac > account, only logged with a GitHub account? > > I think yes, see http://doc.sagemath.org/html/en/developer/trac.html The branch name (created automatically during the first push) must be of the form u/gh-aaaa/bbbb or public/bbbb where aaaa is your GitHub name and bbbb is any name you may choose to specify the branch.
Best wishes, Eric. -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-support+unsubscr...@googlegroups.com. To post to this group, send email to sage-support@googlegroups.com. Visit this group at https://groups.google.com/group/sage-support. For more options, visit https://groups.google.com/d/optout.