Re: Infrastructure | Remove a gnome- prefixed branch (#321)

2020-06-05 Thread Andrea Veri
Andrea Veri commented: Done! -- Reply to this email directly or view it on GitLab: https://gitlab.gnome.org/Infrastructure/Infrastructure/-/issues/321#note_829558 You're receiving this email because of your account on gitlab.gnome.org. ___ gnome

Re: Infrastructure | Remove a gnome- prefixed branch (#321)

2020-06-05 Thread Andrea Veri
Issue was closed by Andrea Veri Issue #321: https://gitlab.gnome.org/Infrastructure/Infrastructure/-/issues/321 -- Reply to this email directly or view it on GitLab: https://gitlab.gnome.org/Infrastructure/Infrastructure/-/issues/321 You're receiving this email because of your account on gitl

Infrastructure | Remove a gnome- prefixed branch (#321)

2020-06-04 Thread Adrien Plazas
Adrien Plazas created an issue: https://gitlab.gnome.org/Infrastructure/Infrastructure/-/issues/321 We recently migrated libhandy from Purism's GL to https://gitlab.gnome.org/GNOME/libhandy/, which caused all branches related to MRs (opened or closed, from the repo or from forks) to be adde