Skip to content
Switch branches/tags

Name already in use

A tag already exists with the provided branch name. Many Git commands accept both tag and branch names, so creating this branch may cause unexpected behavior. Are you sure you want to create this branch?
Go to file
12 contributors

Users who have contributed to this file

@koppor @stefan-kolb @Siedlerchr @Bharat123rox @spogatetz8386 @LinusDietz @lenhard @PointOfNilReturn @chriba @ThiloteE @atharvmishra1999 @josephshin93


When contributing to this repository, please first discuss the change you wish to make via issue, email, or any other method with the owners of this repository before making a change.

Support on code contribution is available at

General overview about contributing for programmers and non-programmers is available at

Pull Request Process

  1. Understand the basics listed at
  2. Follow the "formal requirements". They are not too hard, they merely support the maintainers to focus on supportive feedback than just stating the obvious. They also have helpful hints how to work with localization.
  3. Create a pull request. You can create a draft pull request to enable automatic checks.
  4. Wait for feedback of the developers
  5. Address the feedback of the developers
  6. After two developers gave their green flag, the pull request will be merged.