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 comment to create empty PR #2495

Closed
wants to merge 1 commit into from

Conversation

doc-jones
Copy link

I was told in chat to create an empty PR to claim an issue or feature to contribute. If there is a different preferred process please advise.

@Pluriscient
Copy link
Contributor

Any progress on this @doc-jones ?

@doc-jones
Copy link
Author

Any progress on this @doc-jones ?

You are the 1st person to respond. So, no progress so far. Can you help?

@Pluriscient
Copy link
Contributor

Pluriscient commented Mar 28, 2021

What"s the blocker?

btw, it may be nice to reference the issue in the PR description

@coolreader18
Copy link
Member

Oh, sorry I missed this @doc-jones. Yeah, I think it would be good to reference #1175 in the comment, so people know what"s available to work on. Also, I"m not sure what you mean by empty PR, I think generally just commenting in the issue is enough to mark that you"re working on a given os function.

@DimitrisJim
Copy link
Member

Hey @doc-jones , I"m closing this. As coolreader18 mentioned, you can go at the issue and comment there what method you"re working on for others to see.

@DimitrisJim DimitrisJim closed this Aug 6, 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.

4 participants