PR must have at least one of the following labels before it can be merged: bugfix, enhancement, hardware-support, dependencies, submodules, github_actions, trunk, cleanup.