Explore projects

Robolab (KN:E-130) deployment utilities, workspace configuration files, Singularity image recipes etc.

Git post-receive hook to push a subset of a git repository to another repository. We use this to push AE scripts to BRUTE.