move repos to gitlab
treefbf6266f39b8800d6f87b89a5bd4962caf6afd56
-rw-r--r-- 368 .gitignore
-rw-r--r-- 2259 .mrconfig
-rw-r--r-- 52 .mrtrust
-rw-r--r-- 30 Readme.org
drwxr-xr-x - bin