GitHub Issues¶
GitHub issues are a way to communicate to developers that their tools might have bugs or problems. Most people in astronomy develop tools for their own work, and can't necessarily respond to every issue with a quick fix. However, opening issues is always good practice. If you find a problem with a tool opening an issue
- Tells the developer that you've found something they may have missed
- Tells other users you have encountered a problem, and gives a space for others to speak up about the problem
- Gives a place for public discussion between you and the developer. This may be a feature, not a bug, and it may be useful to have a public record of the conversation around the issue.
So I should open issues?¶
Yeah, pretty much. If you have a problem, opening an issue is better than emailing.
How?¶
Below is an example of the issue page. Each repo on GitHub has a space to open issues, and you'll see past issues people have. By default you'll see "open" issues (ones that haven't been fixed).
When you open an issue on a repo you should include
- What version of the code you were using
- What version of the base coding language you were using
- What sort of operating system you were running
- What you were expecting the tool to do
- Ideally, a minimal working example (MWE) that reproduces the problem you encounter.
When do issues get closed?¶
Developers on the repository will usually either fix the problem and close your issue, or they will discuss why they aren't going to fix the problem and then close the issue. Sometimes people may ask you to open a PR (pull request) to fix the issue. If you're able, doing this is a great idea. You'll get credit as a developer of the tool, and the developers will be very happy you helped fix a bug.