Skip to content

Update configure_git_repository.md#417

Closed
ddbrendan wants to merge 2 commits intomainfrom
update-github-repository-configuration
Closed

Update configure_git_repository.md#417
ddbrendan wants to merge 2 commits intomainfrom
update-github-repository-configuration

Conversation

@ddbrendan
Copy link
Contributor

@ddbrendan ddbrendan commented Jul 28, 2025

Actually, I think this entire step might be redundant.
When you configure Semaphore CI (following the "Configure the CI" section of the guide), it automatically:

Integrates with GitHub
Creates the status check ci/semaphoreci/push: [project-name]
Reports the check status on every PR

You don't need to manually add any status check requirements in the GitHub branch protection rules because it's already handled by the Semaphore integration.

Even without the configuration, the Semaphore check still happens:
image

Sorry for being unclear!

@ddbrendan ddbrendan requested a review from a team July 28, 2025 09:27
Copy link
Contributor

@cb341 cb341 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I don't quite follow this change..
Can you please describe what name may be outdated and why in the PR?

@ddbrendan ddbrendan requested a review from cb341 July 30, 2025 13:05
Co-authored-by: Daniel Bengl  <53896675+CuddlyBunion341@users.noreply.github.com>
@ddbrendan ddbrendan closed this Aug 4, 2025
@ddbrendan
Copy link
Contributor Author

Nvm, Raphael cleared it up. Apparently its need for automatic merges

@ddbrendan ddbrendan deleted the update-github-repository-configuration branch November 5, 2025 11:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants