On Thu, Jan 10, 2019 at 08:26:13AM -0500, Konstantin Ryabitsev wrote: > 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. OK
Best Regards Guo Ren
