☰

Better GitHub Pull Requests

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

Ekde 2022/04/06. Vidu La ĝisdata versio.

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