It probably should happen both here on every push and periodically scheduled in the "rizin" repo. We also should have separate pages for "dev" and "stable" (this one only after 0.5.0 is released, since not all necessary changes are in previous releases).