Public_Tools/wavelog
2
0
Fork 0
mirror of https://github.com/wavelog/wavelog.git synced 2026-03-22 02:14:13 +00:00
Code Issues Packages Projects Releases Wiki Activity

force git fetch

Browse Source
This commit is contained in:
Fabian Berg
2024-12-14 10:08:23 +01:00
committed by GitHub
parent ee5ab8fd55
commit d8358fa486
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
update_wavelog.sh
View File

@@ -66,7 +66,7 @@ check_working_dir
# Fetch the latest changes from the master branch # Fetch the latest changes from the master branch
echo "Fetching changes from remote..." echo "Fetching changes from remote..."
if git fetch $GIT_REMOTE --tags ; then if git fetch $GIT_REMOTE --tags --force ; then
echo "Fetched latest changes successfully" echo "Fetched latest changes successfully"
else else
echo "Fetch failed; stopping here." echo "Fetch failed; stopping here."