rpms/grub2
8
0
Fork 0
mirror of https://src.fedoraproject.org/rpms/grub2.git synced 2024-11-24 14:32:58 +00:00
Code Issues 24 Projects 4 Releases Packages Wiki Activity Actions

Make do-rebase re-set the url if the directory is already there.

Browse source 
Signed-off-by: Peter Jones <pjones@redhat.com>
This commit is contained in:
Peter Jones 2018-07-17 16:30:53 -04:00
parent 70dc0337f9
commit 7b06e73552
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
do-rebase
View file

@ -139,6 +139,8 @@ elif othergit remote show -n rhboot | grep -q "URL: github$" ; then
echo "Could not add remote: rhboot" 1>&2
exit 1
fi
else
othergit remote set-url rhboot ${gitrepo}
fi
othergit fetch rhboot