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. -- Marc Mezzarobba -- 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/tfihjd%24mf9%242%40ciao.gmane.io.
