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

Remove empty title, which broke the issue form #9833

Merged

pradyunsg merged 1 commit into main from pradyunsg-patch-1

Apr 24, 2021

Member

pradyunsg commented Apr 24, 2021

No description provided.


          Remove empty title, which broke the issue form

ff228fd

pradyunsg added the skip news label

Member Author

pradyunsg commented Apr 24, 2021

/cc @pfmoore @sbidoul This PR is the sort of thing for which I don't wanna run our entire CI on pull requests. :)

pradyunsg merged commit 75ba96c into main

pradyunsg deleted the pradyunsg-patch-1 branch

April 24, 2021 15:11

github-actions bot locked as resolved and limited conversation to collaborators

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

Labels