jandoubek / pvs-2020-lectures

Project for PVS lecture in fall 2020
0 stars 0 forks source link

Main je odteď tabu #43

Closed SachCZ closed 3 years ago

SachCZ commented 3 years ago

Prosím berte na vědomí, že do branche main se odteď nesmí commitovat/mergovat! Bohužel toto nelze enforcnout, protože na to by byl třeba GitHub team účet. Věřím, že to ale zvládneme. Všechny commity směřujte do libovolných branches kromě main a develop a všechny merge směřujte do develop.

Branch devlop mergneme do main, až se shodneme, že jsme ready to release.

Prosím všechny o palec, že vzali na vědomí.