Re: Moving final mailman lists over to discourse

2022-10-30 Thread Anastasios Lisgaras via desktop-devel-list
On 10/30/22 19:48, Emmanuele Bassi wrote: On Sun, 30 Oct 2022 at 18:45, Anastasios Lisgaras via desktop-devel-list mailto:desktop-devel-list@gnome.org>> wrote: There is no 1:1 mapping between mailing lists and Discourse, because Discourse is not a mailing list server. Generally, you'

Re: Moving final mailman lists over to discourse

2022-10-30 Thread Anastasios Lisgaras via desktop-devel-list
On 10/20/22 20:48, Andre Klapper via desktop-devel-list wrote: On Thu, 2022-09-29 at 16:48 +0100, Neil McGovern wrote: Are there plans to update the https://mail.gnome.org frontpage to link to Discourse, and put redirects in place for https://mail.gnome.org/mailman/listinfo/* URLs? The last

Re: GJS Docs now Hosted on gnome.org

2019-07-22 Thread Anastasios Lisgaras via desktop-devel-list
Hi Philip, On 7/11/19 9:27 PM, philip.chime...@gmail.com wrote: > gjs --version (and gjs --jsversion to see which version of Firefox JS > engine it corresponds to) Thank you for your help, but I have tried these commands ( on my system - Debian GNU/Linux 9.9 (stretch), GNOME Shell 3.22.3 - ) and

Re: GJS Docs now Hosted on gnome.org

2019-07-10 Thread Anastasios Lisgaras via desktop-devel-list
On 26/6/19 12:47 ??.??., Andre Klapper wrote:> Just for the records: > > In a perfect world, this would be onhttps://developer.gnome.org/ > instead. I totally agree with you! On 27/6/19 1:14 ??.??., meg ford via desktop-devel-list wrote: I'm going to make a pull request to update the links to