Re: HOWTO: Change default branch on pagure.io projects

2021-01-06 Thread Wolfgang Stoeggl via devel
> Which project/host are you trying to push to? > This is allowed on pagure.io but if you're trying on src.fp.o it will be > blocked > (and this is expected). We will be doing src.fp.o directly server side, we'll > simply be renaming the master ref to rawhide (to by-pass the git hook which >

Re: HOWTO: Change default branch on pagure.io projects

2021-01-06 Thread Pierre-Yves Chibon
On Wed, Jan 06, 2021 at 07:16:44AM -, Wolfgang Stoeggl via devel wrote: > > git push origin :master > > (This deletes the old ‘master’ branch) > > git push origin :master > remote: Branch deletion is not allowed > remote: Denied push for ref 'refs/heads/master' for user '**' > remote: All

Re: HOWTO: Change default branch on pagure.io projects

2021-01-05 Thread Wolfgang Stoeggl via devel
Hi Kevin, thanks for the HOWTO. Some comments from trying it: > > git push > (This pushes the new ‘main’ branch to pagure.io) This should be: git push --set-upstream origin main > git push origin :master > (This deletes the old ‘master’ branch) git push origin :master remote: Branch deletion

HOWTO: Change default branch on pagure.io projects

2021-01-05 Thread Kevin Fenzi
Per https://fedoraproject.org/wiki/Changes/GitRepos-master-to-main#Phase0_-_2021-01-05 here's a short guide for any interested folks on how to change the default branch in pagure.io projects: Switching default branch from ‘master’ to ‘main’ on pagure.io If you have an existing project using

HOWTO: Change default branch on pagure.io projects

2021-01-05 Thread Kevin Fenzi
Per https://fedoraproject.org/wiki/Changes/GitRepos-master-to-main#Phase0_-_2021-01-05 here's a short guide for any interested folks on how to change the default branch in pagure.io projects: Switching default branch from ‘master’ to ‘main’ on pagure.io If you have an existing project using