Re: Infrastructure | Change the default branch name for new repos (#376)

2020-11-15 Thread Christian Stadelmann
Christian Stadelmann commented on a discussion: https://gitlab.gnome.org/Infrastructure/Infrastructure/-/issues/376#note_961783 Is now the time to reopen this issue? The thread hasn't shown any objections against this change for _new_ branches as far as I understand. -- Reply to this email

Re: Infrastructure | Change the default branch name for new repos (#376)

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

Re: Infrastructure | Change the default branch name for new repos (#376)

2020-08-04 Thread Andrea Veri
Andrea Veri commented on a discussion: https://gitlab.gnome.org/Infrastructure/Infrastructure/-/issues/376#note_882656 Thanks, closing this for now, please re-open when there's something for us to act on, thanks! -- Reply to this email directly or view it on GitLab:

Re: Infrastructure | Change the default branch name for new repos (#376)

2020-08-04 Thread Jordan Petridis
Jordan Petridis commented on a discussion: https://gitlab.gnome.org/Infrastructure/Infrastructure/-/issues/376#note_882612 Thanks, created a discourse thread. https://discourse.gnome.org/t/rfc-default-to-main-branch-name-for-new-repos-in-gitlab-gnome-org/3948 -- Reply to this email

Re: Infrastructure | Change the default branch name for new repos (#376)

2020-08-04 Thread Andrea Veri
Andrea Veri commented: @alatiera I believe this should initially be discussed with the community via desktop-devel-list. The community should agree on a default branch name and once done we'll process the change. Want me to close the issue for now while you reach out to a wider audience