Error: Command failed with exit code 1: git push --tags ***github.com/ls1intum/Hephaestus HEAD:develop remote: error: GH013: Repository rule violations found for refs/heads/develop. remote: Review all repository rules at https://github.com/ls1intum/Hephaestus/rules?ref=refs%2Fheads%2Fdevelop remote: remote: - Changes must be made through a pull request. remote: remote: - Changes must be made through the merge queue remote: remote: - 2 of 2 required status checks are expected. remote: To https://github.com/ls1intum/Hephaestus ! [remote rejected] HEAD -> develop (push declined due to repository rule violations) error: failed to push some refs to 'https://github.com/ls1intum/Hephaestus'