Error: To https://github.com/cda-tum/fiction ! refs/heads/2-input-pr:refs/heads/2-input-pr [rejected] (non-fast-forward) Done Pushing to https://github.com/cda-tum/fiction error: failed to push some refs to 'https://github.com/cda-tum/fiction' hint: Updates were rejected because the tip of your current branch is behind hint: its remote counterpart. If you want to integrate the remote changes, hint: use 'git pull' before pushing again. hint: See the 'Note about fast-forwards' in 'git push --help' for details.