Skip to content

Conversation

@sauclovian-g
Copy link
Contributor

Apparently it's like a fork for permissions purposes, but isn't one, so every fork check also needs to check for it specifically too. See discussion in GaloisInc/crucible#1642.

We don't really run dependabot here, but we may as well keep up with these things so we don't have to rake it all up again if that changes later.

Apparently it's like a fork for permissions purposes, but isn't one,
so every fork check also needs to check for it specifically too. See
discussion in crucible #1642.
Copy link
Contributor

@langston-barrett langston-barrett left a comment

Choose a reason for hiding this comment

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

We don't really run dependabot here

As someone who previously did a lot of version bumps by hand, I personally really recommend it! It's easy to try out with a single low-churn ecosystem such as GitHub Actions. Let me know if you have any questions about it.

@sauclovian-g
Copy link
Contributor Author

One of these years, thanks!

@sauclovian-g sauclovian-g merged commit ad3744a into master Nov 19, 2025
58 of 59 checks passed
@sauclovian-g sauclovian-g deleted the ci-dependabot branch November 19, 2025 16:46
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.

4 participants