Better GitHub Pull Requests

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

Das sind Skriptversionen, bei denen der Quelltext aktualisiert wurde. Alle Versionen anzeigen.