Look into Github Actions that can automatically create the .db files after a merge enhancement New feature or request help wanted Extra attention is needed ...