Skip to content

fix: throw exception when push has been rejected#127

Merged
mgabelle merged 1 commit intomasterfrom
fix/exception-on-push
Mar 18, 2025
Merged

fix: throw exception when push has been rejected#127
mgabelle merged 1 commit intomasterfrom
fix/exception-on-push

Conversation

@mgabelle
Copy link
Contributor

@mgabelle mgabelle commented Mar 17, 2025

Intrpduced variable :

    private static List<RemoteRefUpdate.Status> REJECTION_STATUS = Arrays.asList(
        REJECTED_NONFASTFORWARD,
        REJECTED_NODELETE,
        REJECTED_REMOTE_CHANGED,
        REJECTED_OTHER_REASON
    );

We check the result of each push (it was not the case before).
If the status of the push is in one of the rejected state above we throw an error and stop the push
#88

@github-project-automation github-project-automation bot moved this to To review in Pull Requests Mar 17, 2025
@mgabelle mgabelle merged commit 89b3fdb into master Mar 18, 2025
2 checks passed
@github-project-automation github-project-automation bot moved this from To review to Done in Pull Requests Mar 18, 2025
@MilosPaunovic MilosPaunovic added the kind/external Pull requests raised by community contributors label Oct 22, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

kind/external Pull requests raised by community contributors

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

2 participants