Skip to content

Conversation

@rjrjr
Copy link
Collaborator

@rjrjr rjrjr commented Aug 20, 2025

(But actually I'm just checking to see if I can still put up PRs here. Not so much.)

@steve-the-edwards
Copy link
Contributor

#1413 needed for the fixup bot to be able to correctly auth

@steve-the-edwards
Copy link
Contributor

Rebasing this on #1415 (once that is merged) should let these actions go through without failing.

(But actually I'm just checking to see if I can still put up PRs here. Not so much.)
@steve-the-edwards steve-the-edwards merged commit 742ecf5 into square:main Aug 28, 2025
133 of 135 checks passed
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.

2 participants