Skip to content

Commit

Permalink
try to fix remote
Browse files Browse the repository at this point in the history
  • Loading branch information
r-dent committed Jan 31, 2024
1 parent a332c19 commit 22e0708
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion build-documentation.sh
Original file line number Diff line number Diff line change
Expand Up @@ -93,7 +93,7 @@ git_remote_url="https://$github_username:[email protected]/$github_re
git remote add $git_remote $git_remote_url

# Pull from remote when matching branch exists.
branches_found=$(git ls-remote --heads GitHub refs/heads/$initial_branch)
branches_found=$(git ls-remote --heads $git_remote refs/heads/$initial_branch)
if [ -n "$branches_found" ]; then
echo "⬇️ Pulling from ${github_repository}..."
git pull $git_remote $initial_branch
Expand Down

0 comments on commit 22e0708

Please sign in to comment.