When creating a pull request please mind the following points:
- We do not accept pull requests for map changes. Create an issue to discuss and provide the map you want to be added.
- Do not create a pull request for each file individually if the changes are related.
- Scripts must use tabs as indentation.
We use the issue tracker on GitHub. Keep in mind that everyone who is watching the repository gets notified by e-mail when there is activity, so be thoughtful and avoid writing comments that aren't meaningful for an issue (e.g. "+1"). If you'd like for an issue to be fixed faster, you should either fix it yourself and submit a pull request, or place a bounty on the issue.