Closed iesahin closed 2 years ago
We can have a Github action that runs each generate.sh script.
generate.sh
Instead of pushing directly, it can create a PR in the target (generated) repository.
We need to force push though (to rewrite all the commits pretty much). Not sure PR can do that.
Closing this, seems it can complicate things and can be fragile.
We can have a Github action that runs each
generate.sh
script.Instead of pushing directly, it can create a PR in the target (generated) repository.