Skip to content

Conversation

@kant
Copy link

@kant kant commented Mar 9, 2020

@asmecher
Copy link
Member

asmecher commented Mar 9, 2020

@kant, I'm not used to working directly through github.com -- so I can only give rough guidance -- but what I'm looking for is a pull request that does the entire conversion of the file all at once, adding the new version and removing the old one in the same pull request. I think you can do this by creating a branch on your local fork of this repository, then creating the new file and removing the old file within the same branch; then you can create a pull request from that branch to the official repository.

@asmecher asmecher closed this Mar 9, 2020
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