The repo gets out of sync between gitlab and git-rw
This repo lives in two places git-rw.tpo and gitlab.tpo. But unlike other projects there is no automatic push, so if you push into git-rw.tpo it doesn't get automatically pushed into gitlab.tpo, so every contributor has to manually push to two places and to remember to do that. If someone forget about it pushing only to one of the copies and someone else comes and pushes something else to another copy we get out of sync and requires a force push into main that might break the setup on many people.
This has happen a couple of times already in the past few months. Let's see if we can improve our workflow here.
I see two options:
- declare git-rw.tpo to be the source of truth and configure automatic pushes from it to gitlab.tpo. We learn that we should never push code from gitlab.tpo.
- give up on git-rw.tpo and use only gitlab.tpo. We modify the readme in git-rw.tpo indicating the move of the project or directly delete the copy of the code.
Any ideas?