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.

added High priority ci improvement labels

mentioned in commit 08a4293d

mentioned in merge request !36 (merged)

mentioned in commit aa262753

closed via merge request !36 (merged)