On Tue, Nov 14, 2017 at 1:03 PM, Tobin C. Harding <m...@tobin.cc> wrote: > > I did not sign the tag, it looks like you have not processed this yet. > Do you want me to re-do the pull request on a signed tag?
When pulling from github? Absolutely.
Linus
