GitHub repository: runtimeverification/automerge
Primary language: Python
Created: 2024-01-12T19:47:40Z
Description: Github Pull Request Management Runtime Verification