<@U0N6C2Q9F>: i saw you create a PR yesterday in o...
# developmentw
witty-crayon-22786
03/23/2022, 5:26 PM@fast-nail-55400: i saw you create a PR yesterday in order to kick off a SHA build: i assume that was because just pushing the branch to origin wasn’t enough? it used to be, but maybe our branch filters changed recently.
witty-crayon-22786
03/23/2022, 5:27 PM…oh. or maybe github is just having another outage. no checks getting kicked off at all.
witty-crayon-22786
03/23/2022, 6:07 PMyea, just super slow most likely.
f
fast-nail-55400
03/23/2022, 6:35 PMor me not knowing the current way of doing things so I just joined the “make a PR” cargo cult
w
witty-crayon-22786
03/23/2022, 6:36 PMyea, usually “branch on origin” is sufficient. but it’s tricky to tell with github not hopping on things quickly.