Merge branch 'master' into 12people_maintenance #12

	name: automatic linting

	on:
	push:
	branches:
	- "master"
	paths:
	- '**.dart'


	jobs:
	linting:
	runs-on: ubuntu-latest
	steps:

	- name: Checkout code
	uses: actions/checkout@v2

	- name: Setup Flutter
	uses: subosito/flutter-action@v1
	with:
	channel: 'stable'
	flutter-version: '3.13.x'

	- name: Get dependencies
	run: flutter pub get

	- name: Check for formatting issues (run "dart format . ")
	run: dart format --line-length=100 .

	- name: Push a commit with the changed files
	continue-on-error: true
	run: \|
	git config user.name Github-actions
	git config user.email [email protected]
	git add .
	git commit -m "Automatic linting"
	git push

Provide feedback