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

retire stickler-ci #2149

Merged
merged 2 commits into from
Mar 12, 2023
Merged

retire stickler-ci #2149

merged 2 commits into from
Mar 12, 2023

Conversation

bjlittle
Copy link
Member

@bjlittle bjlittle commented Mar 12, 2023

This PR removes the stickler-ci service configuration, which isn't needed now that #1934 has landed and the pre-commit-ci is enabled.

For context, see this comment.

Once/If this PR is merged, I can disable the stickler-ci service... or do it pre-merge if we're happy to bank this PR change.

@stickler-ci
Copy link

I couldn't find a .stickler.yml file in this repository. I can make one for you, or you can create one by following the documentation.

@bjlittle
Copy link
Member Author

pre-commit.ci autofix

@stickler-ci
Copy link

I couldn't find a .stickler.yml file in this repository. I can make one for you, or you can create one by following the documentation.

@rcomer
Copy link
Member

rcomer commented Mar 12, 2023

Looks like there isn’t a choice 👀
https://stickler-ci.com/shutting-down

@bjlittle
Copy link
Member Author

@rcomer I can't say I particularly sad about that 😂

@bjlittle
Copy link
Member Author

You know what... flame me afterwards for being gung-ho, but I'm gonna turn it off anyways since the writing is clearly on the wall

@bjlittle
Copy link
Member Author

Tis done 👍

@bjlittle bjlittle closed this Mar 12, 2023
@bjlittle bjlittle reopened this Mar 12, 2023
@greglucas greglucas merged commit d546f95 into SciTools:main Mar 12, 2023
@greglucas
Copy link
Contributor

Thanks for these updates, @bjlittle!

@greglucas greglucas added this to the 0.22 milestone Mar 12, 2023
@bjlittle bjlittle deleted the retire-stickler-ci branch March 13, 2023 22:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants