4 ms·Is CR a merge/pull request?by grumple 5y agoIs CR a merge/pull request?deleted 5y ago[deleted]mr_beans 5y agoYes. It’s taken me a while to say PR instead of CR. At least I’m not quoting LPs at my girlfriend anymore