good first issue
Repository metrics
- Stars
- (69 stars)
- PR merge metrics
- (PR metrics pending)
Description
We should handle this case -- maybe gray out the button with "there's nothing to merge!" or something
We should handle this case -- maybe gray out the button with "there's nothing to merge!" or something