Date: prev next · Thread: first prev next last
2013 Archives by date, by thread · List index


On Mon, Apr 22, 2013 at 10:28:21AM +0200, Alexander Thurgood wrote:
Le 22/04/13 10:20, Lionel Elie Mamane a écrit :
On Mon, Apr 22, 2013 at 09:29:45AM +0200, Alexander Thurgood wrote:

Should have been fixed by

commit 693d25f8a601ee3738a396fbd8a9b838f19e39c9

Ah, OK, I started my build before that commit went in. Will do a fresh
pull/build.

Some git recipes for such cases:

First, do "git fetch". It will do the first half of a pull, that is
fetch the new commits from the central repository, but without
touching your local branches / tree.

Then, you can do stuff like:

git diff HEAD..remotes/origin/master -- path/to/file.cxx
git log -p HEAD..remotes/origin/master -- path/to/file.cxx
git blame remotes/origin/master -- path/to/file.cxx

to see the state of that file in the central repository, and see if
the failing line has been changed since you last pulled.

-- 
Lionel

Context


Privacy Policy | Impressum (Legal Info) | Copyright information: Unless otherwise specified, all text and images on this website are licensed under the Creative Commons Attribution-Share Alike 3.0 License. This does not include the source code of LibreOffice, which is licensed under the Mozilla Public License (MPLv2). "LibreOffice" and "The Document Foundation" are registered trademarks of their corresponding registered owners or are in actual use as trademarks in one or more countries. Their respective logos and icons are also subject to international copyright laws. Use thereof is explained in our trademark policy.