4 ms·

This simple workflow is actually not that much more complicated with git: clone once, update, commit, push.