Skip to content

Commit

Permalink
Fix the merge workflow (#371)
Browse files Browse the repository at this point in the history
  • Loading branch information
maximlt authored Mar 25, 2024
1 parent fa96c4d commit 7bae0ce
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 2 deletions.
4 changes: 2 additions & 2 deletions .github/workflows/docs.yml
Original file line number Diff line number Diff line change
Expand Up @@ -180,7 +180,7 @@ jobs:
git commit -m "Add $CHANGEDPROJECTS"
git log -n 10 --oneline
echo "Push changes to evaluated"
git push HEAD:evaluated
git push origin HEAD:evaluated
echo "Delete the dev evaluated branch $DEVBRANCH"
git push --delete $DEVBRANCH
git checkout main
Expand All @@ -204,7 +204,7 @@ jobs:
git commit -m "Remove $REMOVEDPROJECTS"
git log -n 10 --oneline
echo "Push changes to evaluated"
git push HEAD:evaluated
git push origin HEAD:evaluated
fi
- name: checkout evaluated
# any event that isn't workflow_call (coming from pr_flow.yml)
Expand Down
1 change: 1 addition & 0 deletions gull_tracking/anaconda-project.yml
Original file line number Diff line number Diff line change
Expand Up @@ -32,6 +32,7 @@ commands:

variables: {}


downloads:
DATAFILE:
url: https://s3.eu-west-1.amazonaws.com/datasets.holoviz.org/HG_OOSTENDE/v1/HG_OOSTENDE-gps-2018.csv
Expand Down

0 comments on commit 7bae0ce

Please sign in to comment.