Try more markdown syntax fixes

Signed-off-by: Pierre-Yves Chibon <pingou@pingoured.fr>
This commit is contained in:
Pierre-Yves Chibon 2020-09-04 16:22:21 +02:00
parent 8d4a7f5396
commit 11cc0f8446

View file

@ -10,28 +10,39 @@ if needed.
There is a script in the releng repository to use to check if a branch can
safely be deleted.
So here are the steps to follow to remove the branch <branch> from the package
<foo>.
So here are the steps to follow to remove the branch `<branch>` from the package
`<foo>`.
- Clone the releng repo if you do not already have it:
git clone https://pagure.io/releng.git
```
git clone https://pagure.io/releng.git
```
- If you already have it, pull the latest changes:
pushd releng && git pull --rebase && popd
```
pushd releng && git pull --rebase && popd
```
- Clone the <foo> package locally:
- Clone the `<foo>` package locally:
fedpkg clone <foo>
```
fedpkg clone <foo>
```
- Checkout the <branch> branch:
cd clone && git checkout <branch>
```
cd clone && git checkout <branch>
```
- Run the script:
python ../releng/scripts/distgit-branch-unused.py <branch>
```
python ../releng/scripts/distgit-branch-unused.py <branch>
```
(If needed, see the ``--help`` of the script for more information)
@ -40,19 +51,27 @@ If the script returns that the branch is safe to delete:
- Go to pkgs01 as root
ssh pkgs01.iad2.fedoraproject.org
```
ssh pkgs01.iad2.fedoraproject.org
```
- Go to the git repository:
cd /srv/git/repositories/<namespace>/<foo>.git
```
cd /srv/git/repositories/<namespace>/<foo>.git
```
- Move the head of the branch (this allows to recover it later if needed):
mv refs/heads/<branch> heads_<branch>
```
mv refs/heads/<branch> heads_<branch>
```
- On your local clone of <foo>, check that the branch was deleted upstream:
git fetch -p
```
git fetch -p
```
This should show something like: