[skip ci] Updated translations via Crowdin

options/locale/locale_de-DE.ini

@@ -695,6 +695,7 @@ editor.delete=„%s“ löschen
 editor.commit_message_desc=Eine ausführlichere (optionale) Beschreibung hinzufügen…
 editor.commit_directly_to_this_branch=Direkt in den Branch „<strong class="branch-name">%s</strong>“ einchecken.
 editor.create_new_branch=Einen <strong>neuen Branch</strong> für diesen Commit erstellen und einen Pull Request starten.
+editor.propose_file_change=Dateiänderung vorschlagen
 editor.new_branch_name_desc=Neuer Branchname…
 editor.cancel=Abbrechen
 editor.filename_cannot_be_empty=Der Dateiname darf nicht leer sein.
@@ -982,6 +983,9 @@ pulls.rebase_merge_commit_pull_request=Rebasen und Mergen (--no-ff)
 pulls.squash_merge_pull_request=Zusammenfassen und Mergen
 pulls.invalid_merge_option=Du kannst diese Mergeoption auf diesen Pull-Request nicht anwenden.
 pulls.open_unmerged_pull_exists=`Du kannst diesen Pull-Request nicht erneut öffnen, da noch ein anderer (#%d) mit identischen Eigenschaften offen ist.`
+pulls.status_checking=Einige Prüfungen sind noch ausstehend
+pulls.status_checks_success=Alle Prüfungen waren erfolgreich
+pulls.status_checks_error=Einige Prüfungen sind fehlgeschlagen
 
 milestones.new=Neuer Meilenstein
 milestones.open_tab=%d offen
@@ -1030,6 +1034,8 @@ wiki.save_page=Seite speichern
 wiki.last_commit_info=%s hat diese Seite bearbeitet %s
 wiki.edit_page_button=Bearbeiten
 wiki.new_page_button=Neue Seite
+wiki.file_revision=Seitenversion
+wiki.wiki_page_revisions=Wiki Änderungsverlauf
 wiki.back_to_wiki=Zurück zur Wiki-Seite
 wiki.delete_page_button=Seite löschen
 wiki.delete_page_notice_1=Das Löschen der Wiki-Seite „%s“ kann nicht rückgängig gemacht werden. Fortfahren?