Learn more about these different git repos.
Other Git URLs
I'm used to the GNOME's GitLab workflow with merge requests, which means one can create wip branches and assign them to merge requests in the web UI, instead of creating a fork and cloning the whole repository to a new location. One is able to delete such branch as well.
The pagure interface suggests it can be done too, thus I did that, but a) I cannot rebase the branch (git rebase -i master && git push --atomic --force-with-lease); b) I cannot delete the wip branch.
git rebase -i master && git push --atomic --force-with-lease
I'd like to ask you to delete the branch for me.
It's this one: https://src.fedoraproject.org/rpms/libsoup/tree/wip/mcrha/doc-subpackage
and some little info about it can be found in the associated pull request: https://src.fedoraproject.org/rpms/libsoup/pull-request/1
I did find https://fedoraproject.org/wiki/Remove_dist-git_branches , which seems to be moved to https://docs.pagure.org/releng/sop_remote_dist_git_branches.html , but I cannot finish the very first step there:
$ ssh mcrha@pkgs.fedoraproject.org PTY allocation request failed on channel 0 Welcome mcrha. This server does not offer shell access. Connection to pkgs.fedoraproject.org closed.
Thus I cannot "self-service" this.
Metadata Update from @smooge: - Issue tagged with: low-gain, low-trouble, ops
This should be fixed now, please run git fetch -p on your local branch.
git fetch -p
Metadata Update from @mohanboddu: - Issue close_status updated to: Fixed - Issue status updated to: Closed (was: Open)
Login to comment on this ticket.