Richard Stallman wrote:
> > What name do you want to use for the principal branch? Then specific
> > instructions could be supplied.
>
> Let's use `trunk'.
>
> > And actually it might be simplest if I were to reach into the remote
> > git repository and set that as the default branch name, and then have
> > you clone it again so that you don't need to do anything on your end.
>
> Thank you.
Done. I have set things up and initialized the repository for you.
Please make a new pristine clone checkout again.
...remove the local c-intro-and-ref first for a pristine checkout...
git clone git.sv.gnu.org:/srv/git/c-intro-and-ref.git
Then copy into that directory the new files to commit. Add them.
Commit them. Push the result.
cd c-intro-and-ref
...copy in the files...
git add ./*
git status
git commit
git log -p # review
git push
That should do it!
Bob
