Hi,

(we should move this discussion to the gretl-devel mailing list)

clive@clivubu:~/gretl-git$ sudo git push
fatal: Could not read from remote repository.

Please make sure you have the correct access rights
and the repository exists.

You really like to sudo git ;)

(no need for sudoing git!)

If I got right you wanted to push changes (none) to the "simple" repository, so you set it as default.

But probably your repository is "origin". You may check what repositories you have with:

git remote -v

To know what branches you do:

git branch -a

When I want to push my changes I do:

# before I selected the branch I am working at, for example "master", with "git checkout master"

git add -i

# interactively select what files to push

git commit

# actually put them on the queue to push

git push origin master

# select the repository and branch and upload changes

That's not happened before and this is a clean gretl-git folder from Sunday night. Thoughts?

The files you have on your disk are new files (and they ARE NOT to be pushed). It happens the same in my system.

This git stuff is a new thing in this project and we must set the .gitignore file with the extensions and directories to be ignored (either on our own systems and on github/sourceforge).