message no. 126665
Posted by raul782 in #github at 2016-03-10T00:06:25Z
or what is the common place to look for, actually I don't have access to the github settings page, but I need to give some hints to the new person that is managing that repo