0xPolygonMiden / miden-node

Reference implementation of the node for the Polygon Miden rollup
MIT License
52 stars 37 forks source link

Investigate using .github repo for common files #414

Open Mirko-von-Leipzig opened 2 months ago

Mirko-von-Leipzig commented 2 months ago

Github supports sharing common files between repositories within an organization using the .github repo.

This (automatic) support is limited, but we should at least use those that are applicable e.g. security, contributing and possibly templates.

It should also be possible to automatically sync specific files from a main repo (i.e. .github) to others using github actions like repo-file-sync-action. Investigate our options here. I'm imagining something like dependabot that opens PRs in the other repos when a file is updated in the main one.

It would be nice to synchronize workflow, lints, configurations files instead of manually re-doing them across all repos.