-
Notifications
You must be signed in to change notification settings - Fork 714
bump index state to get new hackage-security
#11024
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
Conversation
|
Change in |
Makes sense to me. Maybe we could ask for their advice though? |
50faa21
to
dfb93a0
Compare
@phadej do you know why GitHub's Mac runners claim not to know about
|
This pull request has been removed from the queue for the following reason: The pull request can't be updated. You should update or rebase your pull request manually. If you do, this pull request will automatically be requeued once the queue conditions match again. |
o.O |
dfb93a0
to
65594f9
Compare
No problems with any of the others the past two days…. |
Probably because you forked a branch and got it to a mergeable state (approvals, labels, CI) before master advanced. Generally, I think bot has completely lost the ability to rebase. No matter what the account of the PR author / branch owner is. |
Template B: This PR does not modify behaviour or interface
E.g. the PR only touches documentation or tests, does refactorings, etc.
Include the following checklist in your PR: