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

Add ox editor #996

Closed
wants to merge 1 commit into from
Closed

Add ox editor #996

wants to merge 1 commit into from

Conversation

spikecodes
Copy link
Contributor

@spikecodes spikecodes commented Nov 26, 2020

  • I have read the contributing guidelines.

I think listing Ox (2k+ stars) as a Rust text editor would be a good addition.

@luciusmagn
Copy link
Collaborator

@spikecodes Hi, can you open the PR for editing by maintainers or merge master? Thank you and very sorry for the delay

@spikecodes
Copy link
Contributor Author

For some reason, I don't see the checkbox to enable that
image

@luciusmagn
Copy link
Collaborator

Oh! I see the problem, you deleted the fork/branch you were making the PR from, so now this is only a disembodied commit pull request and as such, there is place to commit to.

I will see what I can do, I think I have two more cases of this happening - maybe I will do a manual merge with cli

@spikecodes
Copy link
Contributor Author

Oh no! Should I open a new PR for it?

@spikecodes spikecodes mentioned this pull request Feb 1, 2021
1 task
@spikecodes
Copy link
Contributor Author

Continued here: #1022.

@spikecodes spikecodes closed this Feb 1, 2021
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.

None yet

2 participants