Thanks Aaron, great idea. Jason moorepants.info +01 530-601-9791
On Mon, Feb 25, 2013 at 6:40 PM, Aaron Meurer <[email protected]> wrote: > SymPy has several submodules for which there is a subgroup of people > who are interested in any change to that module, and conversely, those > people for the most part are usually uninterested in most changes > elsewhere. For example, there are several people who would like to > know about any change to the mechanics module. > > This is a great thing---I think it's a sign that we have a thriving > community. One issue is that it's hard to remember everybody to ping > when you make a pull request. I just realized that GitHub has a great > way to solve this issue. We can create teams. So I just created a > "mechanics" team, which currently contains angadhn, gilbertgede, > hazelnusse, and moorepants. This way, on a pull request, you can just > type @sympy/mechanics (and this will also autocomplete if you start > typing it), and everyone on the team will be pinged. If you want to > know who is in a team, just hover over the team name in a pull request > comment (you can do this in the preview pane too). > > If you want me to create a team to facilitate easy pinging, just let > me know. Or if you want me to add or remove you from a team, let me > know that too. > > Aaron Meurer > > -- > You received this message because you are subscribed to the Google Groups > "sympy" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To post to this group, send email to [email protected]. > Visit this group at http://groups.google.com/group/sympy?hl=en. > For more options, visit https://groups.google.com/groups/opt_out. > > > -- You received this message because you are subscribed to the Google Groups "sympy" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sympy?hl=en. For more options, visit https://groups.google.com/groups/opt_out.
