Development guides and tips.
When you see an issue that you'd like to work on, please comment in the thread. By commenting, you indicate your interest and we will be able to assign the issue to you. That way the issue is 'earmarked', and we avoid the situation where more than one person is working on the same issue.
You can use whichever editor you like. Primarily for Python, we'd recommend Visual Code with black formatter plugin (this is how to enable it on VSCode). That way you don't have to worry about formatting and convention, and let black do the work. PyCharm community edition is free of charge as well. One of our developers uses IntelliJ, but you may need a license.
You should usually open a pull request in the following situations:
- Submit trivial fixes (for example, a typo, a broken link or an obvious error)
- Start work on a contribution that was already asked for, or that you’ve already discussed, in an issue
A pull request doesn’t have to represent finished work. It’s usually better to open a pull request early on, so others can watch or give feedback on your progress. Just mark it as a “WIP” (Work in Progress) in the subject line or create a draft PR. You can always add more commits later.
We encourage people to open a PR early to indicate that you are working on an issue.
How to submit a pull request:
- Fork the repository and clone it locally. Connect your local to the original “upstream” repository by adding it as a remote. Pull in changes from “upstream” often so that you stay up to date so that when you submit your pull request, merge conflicts will be less likely. (See more detailed instructions here.)