Select Git revision
README.md
Code owners
Assign users and groups as approvers for specific file changes. Learn more.
disable "Animate / Model Check", "ProB Classic" and "Check physical Units" on anything but MachineRoots and ContextRoots