Skip to content

Cannot push to update repository #105

@paulzierep

Description

@paulzierep

We have multiple jobs pushing to a results branch, but currently they fail with:

##[info] Updating branch results
##[info] Removing all files from target branch
##[info] Copying all files from /home/runner/work/galaxy_tool_extractor/galaxy_tool_extractor/results
##[info] Checking whether contents have changed before pushing
##[info] Pushing
To https://github.com/paulzierep/galaxy_tool_extractor
 ! [rejected]        results -> results (non-fast-forward)
error: failed to push some refs to 'https://github.com/paulzierep/galaxy_tool_extractor'

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.

Any idea ?

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions