Skip to content
Snippets Groups Projects
user avatar
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
72f09c53
History
Name Last commit Last update