Skip to content

Github Automation: Add support for an optional colon after command name#66540

Open
PranavReddyP16 wants to merge 1 commit intollvm:mainfrom
PranavReddyP16:github_automation_command_match_add_colon
Open

Github Automation: Add support for an optional colon after command name#66540
PranavReddyP16 wants to merge 1 commit intollvm:mainfrom
PranavReddyP16:github_automation_command_match_add_colon

Commits

Commits on Sep 15, 2023