[Freemint-list] Tracking source changes in github

[David Gálvez]

2017-10-16 14:26 GMT+02:00 Miro Kropáček <miro.kropacek at gmail.com>:
> https://help.github.com/articles/choosing-the-types-of-notifications-you-receive/
> (in your case, go to the freemint repository and add your email there, you
> are one of the team members)
>

Thanks for the answer. I go to the freemint's repository but I don't
have any "settings" button there (I'm signed in :-)).
Perhaps something to do with membership permissions?