Pull is an automated pull request manager designed to synchronize GitHub repository forks with their upstream sources. It acts as an orchestrator that creates and manages pull requests to integrate remote changes and keep development forks aligned with original project sources.
The tool is configuration-driven, allowing users to define specific git integration strategies such as merging, squashing, rebasing, or hard resetting. It integrates with GitHub Actions to manage branch protection and the assignment of reviewers, assignees, and custom labels.
Synchronization can be triggered through predefined periodic schedules or immediate manual requests via webhooks. The system handles the end-to-end lifecycle of branch maintenance, from tracking upstream dependencies to automating the metadata management of the resulting pull requests.