Add a script to automatically add dev-repos to the repo
Add a script to automatically add dev-repos to the repo

only for github packages, but it's already a (very good) start, and should be
easy to adapt for others

abate/opam,abate/opam