Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Gets rid of GBP #3978

Merged
merged 1 commit into from
Jul 25, 2023
Merged

Gets rid of GBP #3978

merged 1 commit into from
Jul 25, 2023

Conversation

Zonespace27
Copy link
Contributor

@Zonespace27 Zonespace27 commented Jul 24, 2023

About the pull request

Removes the GBP workflow and any mention of it.

Explain why it's good for the game

To quote Morrow,
image

CM is a not-massive codebase in how many consistent contributors we have, so it doesn't feel necessary to have to track the PRs people make with the numerical system of GBP. If maintainers don't care about it, it's better-off to remove the workflow to free up an infinitesimal amount of runner time.

@github-actions github-actions bot added the Github We don't really know what else this belongs to label Jul 24, 2023
@Ben10083
Copy link
Contributor

To quote Morrow, image

image

@harryob harryob added this pull request to the merge queue Jul 25, 2023
Merged via the queue into cmss13-devs:master with commit 37b0f4f Jul 25, 2023
28 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Github We don't really know what else this belongs to
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants