Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Please update issue work flow #54

Open
twiddlingbits opened this issue Oct 13, 2024 · 0 comments
Open

Please update issue work flow #54

twiddlingbits opened this issue Oct 13, 2024 · 0 comments
Assignees
Labels
enhancement New feature or request

Comments

@twiddlingbits
Copy link
Owner

twiddlingbits commented Oct 13, 2024

Hi Johnathan,

Once you have fixed an issue, please use one of these process:

  • When you commit code that fixes the issue, reference the issue number in the commit message or the pull request (PR) description using keywords like fixes #123 or closes #123 (where 123 is the issue number). This will automatically link the issue to the PR and close it when the PR is merged.
  • Or if you would like me to look at it or verify it: (a) add the new Verify Fix tag, (b) change the Assignees to me (twiddeling bits), and (c) add a note to the issue of what was changed or that it is ready for me to verify and close.
  • Or, add anote to the issue that it is fixed with any commentary on how it was fixed or how it now works, then manually close the issue.

If the issue is partially fixed, then summarize the fix and what is left to do in the issue. Once it is completely fixed, use one of the above methods.

If the issue has evolved to the point that it is really two issues, we should get better at then separating the issue into two issues so that they can be fixed and verified independently.

thanks

@twiddlingbits twiddlingbits added the enhancement New feature or request label Oct 13, 2024
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
enhancement New feature or request
Projects
None yet
Development

No branches or pull requests

2 participants