3 ms·Thanks! I didn't know that, and now I've learned all sorts of things to speed up my github workflow.by javins 16y agoThanks! I didn't know that, and now I've learned all sorts of things to speed up my github workflow.