Skip to content
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

Rename RFC 3007 Panic Plan #3065

Merged
merged 2 commits into from
Jan 13, 2021
Merged

Rename RFC 3007 Panic Plan #3065

merged 2 commits into from
Jan 13, 2021

Conversation

KodrAus
Copy link
Contributor

@KodrAus KodrAus commented Jan 13, 2021

I ended up merging #3007 without renaming the file because it didn't look like the fork allowed upstream edits. This just renames that PR to the right filename.

@KodrAus KodrAus changed the title RFC 3007 Panic Plan Rename RFC 3007 Panic Plan Jan 13, 2021
@KodrAus KodrAus added the not-rfc For PRs that fix things like spelling mistakes, wrong file names, etc. label Jan 13, 2021
@kennytm
Copy link
Member

kennytm commented Jan 13, 2021

@KodrAus i don't think the file name should be 3007-panic-plan.md-panic-plan.md.

@KodrAus
Copy link
Contributor Author

KodrAus commented Jan 13, 2021

Whoops! Thanks for the spot @kennytm

@KodrAus KodrAus merged commit 44d456b into master Jan 13, 2021
@KodrAus KodrAus deleted the KodrAus-patch-1 branch January 13, 2021 11:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
not-rfc For PRs that fix things like spelling mistakes, wrong file names, etc.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants