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

Skip CI for user list changes #16796

Merged
merged 1 commit into from
Sep 8, 2022

Conversation

benjyw
Copy link
Contributor

@benjyw benjyw commented Sep 8, 2022

Nothing runs or tests changes to that file, which is not part of Pants and is only used to generate the user list on the website, and therefore its changes are unrelated to the health or stability of Pants itself.

@benjyw benjyw added the category:internal CI, fixes for not-yet-released features, etc. label Sep 8, 2022
@benjyw benjyw force-pushed the skip_ci_for_userlist_changes branch from bd06cae to 9e7e104 Compare September 8, 2022 00:10
@benjyw benjyw merged commit 876177b into pantsbuild:main Sep 8, 2022
@benjyw benjyw deleted the skip_ci_for_userlist_changes branch September 8, 2022 18:28
@stuhood stuhood mentioned this pull request Sep 9, 2022
benjyw added a commit to benjyw/pants that referenced this pull request Oct 13, 2022
benjyw added a commit that referenced this pull request Oct 14, 2022
Cherrypicks of #17218, #17169, #17194, #17172, #16806, #16796. 

Since this branch is still being released from, we want it to benefit from recent and upcoming CI improvements.

Cherry-picking them all in one PR saves on CI resources and time. And since no Pants source code is modified, only CI config, it seems fine to not cherry-pick separately.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
category:internal CI, fixes for not-yet-released features, etc.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants