Add pull command

This commit is contained in:
Federico Grandi
2020-01-22 21:18:55 +01:00
parent aa1a8cef82
commit 4d5fbad9c9

View File

@@ -51,6 +51,9 @@ then
echo "Switching branch..."
git checkout "${GITHUB_REF:11}"
echo "Pulling from remote..."
git fetch && git pull
echo "Adding files..."
add