github pull requests are not performant. Alternatives that are not JavaScript based are welcome. Many projects still use mail lists for a reason.