This repository has been archived by the owner on Oct 15, 2022. It is now read-only.

Version control

Jump to bottom

Richard Fussenegger, BSc edited this page Sep 16, 2013 · 1 revision

Save

Compare commit hash -> display diff on edit page
Rename Repository
If repository name doesn't exist -> display error and back to edit page
Commit + UPDATE of commit hash in table
Rename repository to original name