Re: [Geany-Devel] Github Comment Mails
On 03/09/15 20:46, Enrico Tröger wrote: > On 02/09/15 22:58, Thomas Martitz wrote: >> Am 02.09.2015 um 22:13 schrieb Enrico Tröger: >>> On 22/08/15 12:13, Matthew Brush wrote: The email notifications way sounds clean and simple. If it turns out not to work right, we could try more elaborate API scripts and such. >>> Done: http://lists.geany.org/pipermail/github-comments/ >>> >>> This is the new mailing list. >>> I added the list address as notification email address to the geanyadmin >>> user and make this user to watch all repositories of the Geany Github >>> organization. >>> We just need to remember to make the geanyadmin user watch any new >>> repositories we create or even any other repositories on Github as >>> necessary. >>> >>> I don't think it's that useful to subscribe to this list, the archive is >>> probably more interesting. >>> >>> For now, I didn't set up Gmane to archive this list. It might be useful >>> to have the archive searchable. If anyone wants to do it, feel free. >>> >> >> Thanks for your effort! >> >> I guess making it searchable is the entire point, e.g. to find comments >> that have been deleted on github main page already. > > Ok, I submitted a request to Gmane to include the list there. As it will > be manually processed at their side, it might take some time. I'll keep > you posted about progress. Gmane subscription finished. The next message to the list should be visible also on Gmane. Regards, Enrico -- Get my GPG key from http://www.uvena.de/pub.asc signature.asc Description: OpenPGP digital signature ___ Devel mailing list Devel@lists.geany.org https://lists.geany.org/cgi-bin/mailman/listinfo/devel
Re: [Geany-Devel] Github Comment Mails
On 02/09/15 22:58, Thomas Martitz wrote: > Am 02.09.2015 um 22:13 schrieb Enrico Tröger: >> On 22/08/15 12:13, Matthew Brush wrote: >>> >>> The email notifications way sounds clean and simple. If it turns out not >>> to work right, we could try more elaborate API scripts and such. >> Done: http://lists.geany.org/pipermail/github-comments/ >> >> This is the new mailing list. >> I added the list address as notification email address to the geanyadmin >> user and make this user to watch all repositories of the Geany Github >> organization. >> We just need to remember to make the geanyadmin user watch any new >> repositories we create or even any other repositories on Github as >> necessary. >> >> I don't think it's that useful to subscribe to this list, the archive is >> probably more interesting. >> >> For now, I didn't set up Gmane to archive this list. It might be useful >> to have the archive searchable. If anyone wants to do it, feel free. >> > > Thanks for your effort! > > I guess making it searchable is the entire point, e.g. to find comments > that have been deleted on github main page already. Ok, I submitted a request to Gmane to include the list there. As it will be manually processed at their side, it might take some time. I'll keep you posted about progress. For the records, it seems as simple as filing the form at http://gmane.org/subscribe.php. This is what I've just done. Regards, Enrico -- Get my GPG key from http://www.uvena.de/pub.asc signature.asc Description: OpenPGP digital signature ___ Devel mailing list Devel@lists.geany.org https://lists.geany.org/cgi-bin/mailman/listinfo/devel
