Find remote name before doing a push from `commit_new_dsid.sh`
Currently the script assumes that remote is named origin
. This might not be the case.
The script should find the name of the remote and use that instead for the push.
Currently the script assumes that remote is named origin
. This might not be the case.
The script should find the name of the remote and use that instead for the push.