## Internal deployment notes

  # merge pull-requests on github into develop
  # Locally switch to develop
  # Pull github develop
  # Pull weblate develop
  # Add change logs
  # Push to gitlab
  # Merge request into master and merge
  # Add Release Tag on master branch
  # Release to play store
  # Wait for gitlab -> github sync
  # Run publishGithub