Git minutes (21/11/2024)
Attended: @dhb599 @sofarrell @cbull
Following instructions from here.
Create SSH key (Siobhan didn’t have one but Dave already did):
ssh-keygen -t rsa -b 4096
Add SSH key (~/.ssh/id_rsa.pub) by adding in settings, i.e. here.
Then either clone a new repository with SSH keys, e.g., go here, then copy the SSH path, e.g.
git clone git@github.com:ACCESS-NRI/ACCESS-OM2.git
Then make some edits, follow standard practice of git commit then git push etc (Dave Bi was able to push effectively to a new repo’).
In the other case, where the repository already exists, update the link from the local branch to the remote (following cable instructions):
git remote -v #helpful to tell you what's going on!
git remote rm origin
git remote add origin <URL> #get this off the github repository 'code' link
git remote -v
git fetch
git branch -u origin/<branch_name>
git push -u origin ESM_1.5
#this last command did not work, likely because of a lack of permissions
We’ll have a future meeting once credentials of Dave and Siobhan have been checked.
Action item:
@cbull ~follow up with @Aidan regarding credentials and workflow.~