From 8d4a7f53969e245e564b1cad73710436af5b492a Mon Sep 17 00:00:00 2001 From: Pierre-Yves Chibon Date: Fri, 4 Sep 2020 16:13:04 +0200 Subject: [PATCH] fixup markdown Signed-off-by: Pierre-Yves Chibon --- remove_branch_distgit.md | 18 ------------------ 1 file changed, 18 deletions(-) diff --git a/remove_branch_distgit.md b/remove_branch_distgit.md index eeed2e6..386af10 100644 --- a/remove_branch_distgit.md +++ b/remove_branch_distgit.md @@ -15,31 +15,22 @@ So here are the steps to follow to remove the branch from the package - Clone the releng repo if you do not already have it: -:: - git clone https://pagure.io/releng.git - If you already have it, pull the latest changes: -:: - pushd releng && git pull --rebase && popd - Clone the package locally: -:: - fedpkg clone - Checkout the branch: -:: - cd clone && git checkout - Run the script: -:: python ../releng/scripts/distgit-branch-unused.py (If needed, see the ``--help`` of the script for more information) @@ -49,31 +40,22 @@ If the script returns that the branch is safe to delete: - Go to pkgs01 as root -:: - ssh pkgs01.iad2.fedoraproject.org - Go to the git repository: -:: - cd /srv/git/repositories//.git - Move the head of the branch (this allows to recover it later if needed): -:: - mv refs/heads/ heads_ - On your local clone of , check that the branch was deleted upstream: -:: - git fetch -p This should show something like: -:: $ git fetch -p From ssh://pkgs.fedoraproject.org// - [deleted] (none) -> origin/