After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 623662 - [git] Add '-dirty' suffix to tree_id if dirty
[git] Add '-dirty' suffix to tree_id if dirty
Status: RESOLVED FIXED
Product: jhbuild
Classification: Infrastructure
Component: general
unspecified
Other All
: Normal normal
: ---
Assigned To: Jhbuild maintainers
Jhbuild QA
Depends on:
Blocks:
 
 
Reported: 2010-07-06 09:03 UTC by Dirk Wallenstein
Modified: 2010-07-15 13:00 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
[git] Add '-dirty' suffix to tree_id if dirty (1.47 KB, patch)
2010-07-06 09:03 UTC, Dirk Wallenstein 		none Details | Review

Description Dirk Wallenstein 2010-07-06 09:03:50 UTC 
There has to be a way to identify a dirty git worktree in the tree_id. Otherwise
the build_policy would falsely assume an up-to-date tree when returning to HEAD.
A dirty tree is always build, no matter what the tree_id is.
Comment 1 Dirk Wallenstein 2010-07-06 09:03:52 UTC 
Created attachment 165339 [details] [review]
[git] Add '-dirty' suffix to tree_id if dirty
Comment 2 Frederic Peters 2010-07-15 13:00:21 UTC 
Thanks; I just pushed it.