How to conveniently sync a file between two git repositories
The only other alternative would be a post-commit hook on repoA, which would, on each commit:
- check if the file is part of said commit
- copy it in repoB with the right path.
The only other alternative would be a post-commit hook on repoA, which would, on each commit: