Skip to content

Pull requests: codecov/gazebo

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Sort

Pull requests list

Unify and slightly reword account deletion
#3742 by Swatinem was merged Feb 20, 2025 Loading…
Pass the owner along to the eraseRepository mutation
#3741 by Swatinem was merged Feb 14, 2025 Loading…
Reword the "Erase Repo" action
#3670 by Swatinem was merged Jan 22, 2025 Loading…
Fix Whitespace in BotErrorBanner
#3024 by Swatinem was merged Jul 18, 2024 Loading…
Fix a typo in the README
#3015 by Swatinem was merged Jul 15, 2024 Loading…
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.