That's fun, good call. PR review can happen in web interface (when GitHub is up).