Yes indeed branches are the way to go in general. For this simple case
where it's isolated to a PAMELA script, I thought that it would be
easier not to cnmplicate matters with branches and forking. As Tom
raised forking in his original questions, I had mentioned this topic in
my aborted initial reply.
I'd checked on github.com/Starlink that Tom had push rights.
(it's `git pull --rebase` by the way).
You never believe that I've used that command that hundreds of times.
Sorry. It was late and I was rushing.
Malcolm
########################################################################
To unsubscribe from the STARDEV list, click the following link:
https://www.jiscmail.ac.uk/cgi-bin/webadmin?SUBED1=STARDEV&A=1
|