GitHub repository: JamesGallicchio/waterfall
Primary language: Lean
Created: 2023-08-22T07:57:57Z
Description: bot for managing dependent PRs, particularly dependent PRs across GH projects