☰

Better GitHub Pull Requests

Improves the GitHub Pull Request UI and adds several features. "Better PRs"

Ili estas versioj de tiu ĉi skripto, kie la kodo estas ĝisdatigita. Montri ĉiujn versiojn