AndreaIdini

#!/bin/bash
# Sometimes you need to move your existing git repository
# to a new remote repository (/new remote origin).
# Here are a simple and quick steps that does exactly this.
#
# Let's assume we call "old repo" the repository you wish
# to move, and "new repo" the one you wish to move to.
#
### Step 1. Make sure you have a local copy of all "old repo"
### branches and tags.

AndreaIdini

{
    "now": "2020-01-11T09:56:55.000Z",
    "program": "EXFOR converter, by V.Zerkin, IAEA-NDS, 2007-2019 (ver.2019-06-27)",
    "input": {
        "files": [{
            "name": "X4R59122_x4.txt",
            "format": "EXFOR",
            "created": "2020-01-11T09:56:53.000Z"
        }]
    },