Sure, thanks. Actually the discussion will stay, just get hidden by github.