| *** gtristan has joined #baserock | 06:55 | |
| *** fay has joined #baserock | 08:27 | |
| *** fay is now known as Guest34099 | 08:27 | |
| *** paulwaters_ has joined #baserock | 09:06 | |
| *** tiagogomes has joined #baserock | 09:13 | |
| *** ctbruce has joined #baserock | 09:36 | |
| *** jonathanmaw has joined #baserock | 09:40 | |
| paulsherwood | "Paul, you are right that there is a bit of a reality gap between the formal verification people, who tend to be hard-core mathematicians, and the grimy, bitter husks of human beings (such as you and me) that do automotive software. " | 09:48 |
|---|---|---|
| *** paulwaters_ has joined #baserock | 10:05 | |
| *** vgrade12 has joined #baserock | 10:18 | |
| *** locallycompact has joined #baserock | 10:33 | |
| *** gtristan has quit IRC | 10:48 | |
| *** gtristan has joined #baserock | 11:02 | |
| *** franred has joined #baserock | 11:04 | |
| *** franred has quit IRC | 11:58 | |
| *** franred has joined #baserock | 12:11 | |
| *** inara has quit IRC | 12:12 | |
| *** inara has joined #baserock | 12:26 | |
| *** locallycompact has quit IRC | 12:34 | |
| *** locallycompact has joined #baserock | 12:40 | |
| *** franred has quit IRC | 12:46 | |
| *** locallycompact has quit IRC | 12:51 | |
| *** locallycompact has joined #baserock | 12:54 | |
| *** franred has joined #baserock | 13:01 | |
| *** paulwaters_ has joined #baserock | 13:11 | |
| gtristan | right, so MR 300; only comment was that the commit message does not really tell me why we're setting the git user/email: https://gitlab.com/baserock/ybd/commit/e3b9642bac0dec0bcb7879ef5ceffd3761dd3c05 | 13:39 |
| gtristan | presuming it must have a purpose, +1 :) | 13:39 |
| paulsherwood | gtristan: yes, actually that MR still combines two real changes, sorry: | 13:40 |
| paulsherwood | - the headline change is to export all definitions as a single $target.yml file, which can also be used as an input instead of the normal set-of-morph-files-in-a directory-tree | 13:41 |
| paulsherwood | - in the process of doing the above, i encountered some issues with the release-note functionality, so fixed them along the way | 13:42 |
| paulsherwood | - notably, release-note needs to explore some revious ref of definitions, to generate the diff between then and now | 13:42 |
| paulsherwood | - so ybd needs to do git stash while exploring, then git stash pop at the end. these fail unless git username/email is configured | 13:43 |
| * paulsherwood should have documented the commits better | 13:43 | |
| gtristan | nod, that makes reviews much easier :) | 13:48 |
| paulsherwood | i can fix them up later today | 13:48 |
| gtristan | actually I dont seem to have review power on gitlab/baserock | 13:49 |
| * paulsherwood notes that this is a prime example of why cache-key is better resolving to tree, rather than commit :) | 13:49 | |
| gtristan | paulsherwood, I'm still not seeing it | 13:51 |
| gtristan | I mean, I dont see where the tree sha thing is relevant or how there is an example of that | 13:51 |
| paulsherwood | if i fix up the commit messages, the tree stays unchanged, but the commit history will be completely different | 13:52 |
| paulsherwood | as a result your algorithm will rebuild, mine wont | 13:52 |
| gtristan | If you change the commit message on definitions, yes | 13:53 |
| paulsherwood | if i change the commit message in any component, including the build tool | 13:53 |
| gtristan | I see what you mean, that shouldnt be such a frequent, not worth crippleing cache key calculation with a network connection requirement | 13:54 |
| gtristan | If you change the commit message on definitions, nothing will change | 13:55 |
| gtristan | if you point definitions to a new revision of something it builds, cache key will change | 13:55 |
| gtristan | if you change the commit message of the build tool, that should never change anything, either | 13:57 |
| gtristan | only bumping the tools' internal cache key revision (meaning it's calculating things differently now also), would change keys | 13:57 |
| paulsherwood | ack | 14:20 |
| * paulsherwood will wait and see :) | 14:20 | |
| *** toscalix has joined #baserock | 14:22 | |
| gtristan | one alternative optimization, if you're worried about superficial commits in projects we build; is to have the automatic updating mechanism say "I refuse to update the commit sha to the latest on the branch, IF that commit sha points to the same tree I already have a commit sha for" | 14:26 |
| paulsherwood | or just put tree into the definitions, instead of sha :) | 14:26 |
| gtristan | you cant checkout a tree actually | 14:26 |
| gtristan | I recall checking that | 14:27 |
| paulsherwood | because it may be non-unique, maybe. but setting a ref to a tree and checking that out would always work i think. anyway... this is probably too far into the weeds | 14:28 |
| jonathanmaw | Is there a helper method in ybd to get the commit sha1 for a given ref? I can't find one in repos.py | 14:52 |
| jonathanmaw | but I'd be surprised if this is the first time ybd's needed to get the commit sha1 for a ref | 14:52 |
| gtristan | jonathanmaw, I think it's entirely new, the MR above adds something in repos.py so that get_tree() returns _also_ the sha | 14:53 |
| gtristan | (which is basically just a rev-parse) | 14:53 |
| jonathanmaw | aha, that's handy! | 14:53 |
| * paulsherwood thinks it's about time MR300 landed :) | 15:05 | |
| pedroalvarez | Note that ybd@baserock.org is a real email address | 15:09 |
| paulsherwood | oh! | 15:09 |
| pedroalvarez | Not a problem of course :) | 15:10 |
| pedroalvarez | I don't think anybody will be sending emails to that one | 15:11 |
| paulsherwood | :) | 15:11 |
| *** locallycompact has quit IRC | 16:06 | |
| *** locallycompact has joined #baserock | 16:19 | |
| *** locallycompact has joined #baserock | 16:20 | |
| *** paulwaters_ has joined #baserock | 16:58 | |
| *** paulwaters_ has quit IRC | 16:58 | |
| *** jude_ has quit IRC | 17:11 | |
| *** ctbruce has quit IRC | 17:12 | |
| *** jonathanmaw has quit IRC | 17:17 | |
| *** jude_ has joined #baserock | 17:30 | |
| *** franred has quit IRC | 17:35 | |
| *** tiagogomes has quit IRC | 17:58 | |
| *** locallycompact has quit IRC | 18:05 | |
| *** toscalix has quit IRC | 18:05 | |
| *** jude_ has quit IRC | 18:25 | |
| *** paulwaters_ has joined #baserock | 20:28 | |
| *** lachlan_ has joined #baserock | 20:42 | |
| *** jude_ has joined #baserock | 20:51 | |
| *** lachlan_ has quit IRC | 21:19 | |
| *** gtristan has quit IRC | 22:07 | |
| *** jude_ has quit IRC | 22:16 | |
| *** lchlan_ has joined #baserock | 23:27 | |
| *** edcragg_ has joined #baserock | 23:29 | |
| *** edcragg has quit IRC | 23:34 | |
| *** lchlan has quit IRC | 23:34 | |
| *** lchlan_ is now known as lchlan | 23:37 | |
Generated by irclog2html.py 2.15.3 by Marius Gedminas - find it at mg.pov.lt!