Hi Christian,
If the user wants to edit the script fetched from remote repository from the Script Explorer, how those changes should be synchronized considering the script on the remote repository remains unchanged? I suppose we might then need to allow users to save and commit those changes depending on the system (eg. GitHub, Gerrit, or SVN) locally and push it to their remote repository. Can we consider this as a way to synchronise the edited scripts to their respective remote locations ?
And if the local and remote scripts are changed simultaneously from different sources, while executing should the preference be given to the changes made to remote scripts than the those made to local scripts, (thereby discarding the local changes made to the scripts) because user may want to test his/her changes before he wants an updated copy from remote ? If this is the case then a typical flow to try out local changes made to the scripts from script explorer would be:
1. make some changes to the scripts locally
2. commit and push it to remote location
3. execute it from script explorer (that fetches fresh scripts when it is executed if some new commit hashes are found on those scripts)
This might apply even for small changes made from script explorer. Please do correct me if I am wrong.
Basically, since we are saving the external script files on our own (for filesystem and workspace locations), same thing should apply to the remote locations.
Thanks for helping
Utsav Oza