Skip to content

chore(contributing): mention manual PR merge option #4999

chore(contributing): mention manual PR merge option

chore(contributing): mention manual PR merge option #4999

Triggered via pull request November 14, 2024 09:38
@iliapoloiliapolo
opened #32126
Status Success
Total duration 11s
Artifacts

github-merit-badger.yml

on: pull_request_target
call-action
2s
call-action
Fit to window
Zoom out
Zoom in