Closed CodeWringer closed 7 months ago
Currently, manually pushing to main is possible.
This should be prohibited. Instead, only pull requests should be able to merge any changes to main. Additionally, a github action should be setup which runs the unit-tests and only allows a merge, if no tests fail.
Done. Unit-tests are not implemented though, because they do not yet work.
Currently, manually pushing to main is possible.
This should be prohibited. Instead, only pull requests should be able to merge any changes to main. Additionally, a github action should be setup which runs the unit-tests and only allows a merge, if no tests fail.