Closed freiburgermsu closed 2 years ago
The website has limited functionality for merging. This can be merged by following the steps below (same instructions that GitHub outlines below).
git fetch origin
git checkout -b github_actions_failure origin/github_actions_failure
git merge main
git checkout main
git merge --no-ff github_actions_failure
git push origin main
…fix-entries command arguments
I am not sure why it cannot automatically merge. I will more regularly update my local
main
branch to prevent conflicts in the future.