Florian Bruhin
authored
This integrates the old taas-client repository into this one: https://gitlab.ost.ch/ins-courses/autpy/taas-client Done via git-filter-repo in the old taas-client repo: https://github.com/newren/git-filter-repo/ By running: - git clone ssh://git@gitlab.ost.ch:45022/ins-courses/autpy/taas-client.git taas-client-merge - cd taas-client-merge - git filter-repo --to-subdirectory-filter client --message-callback 'return b"client: " + message' And then here doing: - git remote add client ../taas-client-merge - git fetch client - git merge --allow-unrelated-histories client/master - git remote rm client
Name | Last commit | Last update |
---|