On Mon, Apr 2, 2012 at 2:28 PM, João Ventura <[email protected]> wrote:
> Hi Luke,
>
> thanks for you help. I'm having some small problems with the commit, as
> follows:
>
>
> Em 02-04-2012 13:00, lkcl luke escreveu:
>> git commit pyjs/src/pyjs/lib/os.py
>>
>> then type in a message (an appropriate one!
>>
>> then "git log" to find out the commit reference
> I've changed the pyjs/src/pyjs/lib/os/__init__.py, copyright and CREDITS
> files, git-add them, and then commited them. When I do git-log, I can
> see my commit as the first one.
yep - that puts the commits into *your* local repository.
> However, if I go to "PyGit Repository Browser", I still can't see the
> commit, so I assume it wasn't succesfull. Is it maybe because I didn't
> gave you my "public key"?
no, that's because you didn't run the "git push" command (which
wouldn't have worked until i add you to the gitolite thingy).
send me that if you want git commit write access.
>> then "git format-patch {foocommitjobbie}"
>>
>> then attach the resultant files to a bugreport.
> As English is not my native language, I think I have maybe
> misinterpreted what {foocommitjobbie} means, so I searched that git
> format-patch -o <dir> would create some files in the <dir> folder.
> However, that folder is empty, so I am basically stuck here.
ok it has to be the one *before* what you committed :)
> The last thing that I want is to delete any files from the git server,
that's not actually possible: there *is* no concept of "delete" in git.
ok, there is, but it's a royal pain and buggers everything up
(rewrites history).
l.
