On Saturday, September 10, 2022 at 10:30:32 AM UTC-7 Marc Mezzarobba wrote:
> Aram Dermenjian wrote: > > In particular, github shows contributions made by a user to > > various projects. > > This is true to some extent (only for commits as opposed to code review > or other kinds of contributions, and maybe only for users who have set > up their account in a certain way) even when the contributions were not > developed on github but simply ended up in a repository mirrored on > github. > Yes, that's true for commits, which do show up at https://github.com/sagemath/sage/graphs/contributors at the time of merging into a release (except when people have misconfigured their email). But our Trac tickets are invisible to the world. -- 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/403df5d8-e7c6-48f4-8a7e-716a85c86310n%40googlegroups.com.
