Closed RMeli closed 4 months ago
For the gh
vs hub
question, I think it is better to have a separate PR.
For the gh vs hub question, I think it is better to have a separate PR.
Do you want me to open the PR and discuss there, or open an issue/discussion?
For the gh vs hub question, I think it is better to have a separate PR.
Do you want me to open the PR and discuss there, or open an issue/discussion?
An issue or a discussion during the weekly meeting...
git
operations protocolgit status
(no un-committed changes allowed)For DLA-Future-Fortran I used
gh
instead ofhub
used here.gh
is an official GitHub product, and can simplify authentication. Do we want to switch to it? See gh-vs-hub for more context.