update external repo via gui
A user can add an clone of an external repo. But the same user has no way to pull recent changes from that external source via the webinterface.
Is there a way to allow this "sync" for normal users? At least if there are no merge conflicts, this should be possible.