Skip to content
Discussion options

You must be logged in to vote

Double-check that your branch is protected (e.g. requires merge commits) or that auto-merge is set correctly. Try pulling develop locally and confirm if the commits are really there if not, re-merge manually.

Replies: 1 comment 3 replies

Comment options

You must be logged in to vote
3 replies
@peter-lawrey
Comment options

@peter-lawrey
Comment options

@tolgaexploder
Comment options

Answer selected by peter-lawrey
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Pull Requests Propose, review, and discuss changes to a repository's codebase Question Ask and answer questions about GitHub features and usage
2 participants