Skip to content

WIP: add a helper function to show a button for updating the Git repo

Steffen Vogel requested to merge update-repo-button into master

not yet tested

Merge request reports