Skip to content

Conversation

@blink1073
Copy link
Collaborator

@blink1073 blink1073 commented Jul 3, 2024

@blink1073
Copy link
Collaborator Author

This now shows the warning: UserWarning: No github_username found for automata.

@blink1073 blink1073 changed the title Debug update-contributors Fix update-contributors handling of missing github_username Jul 3, 2024
@blink1073 blink1073 marked this pull request as ready for review July 3, 2024 13:32
@blink1073 blink1073 mentioned this pull request Jul 3, 2024
@sneakers-the-rat
Copy link
Contributor

likely to conflict with #174 which also changes name handling

@blink1073
Copy link
Collaborator Author

likely to conflict with #174 which also changes name handling

I hadn't seen #174, closing!

@blink1073 blink1073 closed this Jul 4, 2024
@blink1073 blink1073 deleted the fix-update-contributors branch July 4, 2024 01:30
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