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.

Sign up for GitHub

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

Jump to bottom

(Hopefully) fix error when trying to label the PRs #54

Merged

Panquesito7 merged 1 commit into main from fix_labeling_error

Aug 25, 2023

Owner

Panquesito7 commented Aug 25, 2023

Things added/changed:

Fix an error when trying to label the PRs (hopefully).


          (Hopefully) fix error when trying to label the PRs

036a1bf

Panquesito7 added the bug label

Panquesito7 merged commit da8e012 into main

2 checks passed

Panquesito7 deleted the fix_labeling_error branch

August 25, 2023 20:55

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug