30 Nov
2017
30 Nov
'17
08:36
On Thu, 2017-11-30 at 09:32 +0100, Frederic Crozat wrote:
Le jeudi 30 novembre 2017 à 09:07 +0800, Yifan Jiang a écrit :
Hi Adrien,
Thanks! Ye, "glgo#GNOME/gnome-shell-extensions#10" seems consistent with what gh# tag does already (e.g. in YaST project). It's the best idea I got so far, probably we should go this way :-)
Hmm, why not just use something like: GNOME#gnome-shell-extension#10 instead ?
How do you reference a potential future source living outside of the GNOME namespace on gitlab.gnome.org? (not sure they will, but that's an option) Cheers, Dominique