On Thu, Jan 10, 2019 at 04:02:03PM +0800, Guo Ren wrote: > Can I take back this pull request and send a new pull request with > https:// URLs ?
It's not necessary at this point, as the pull request has already been processed. However, your future emails should have the public URL of the git repository. Best, -K
