3 ms·GitHub doesn't support push options, sadly.by oweiler 6y agoGitHub doesn't support push options, sadly.