avsm changed the topic of #mirage to: mirage 2 released! party on!
mort___ has joined #mirage
yomimono has quit [Ping timeout: 248 seconds]
yomimono has joined #mirage
yomimono has quit [Remote host closed the connection]
mort___ has quit [Quit: Leaving.]
propumpkin has joined #mirage
copumpkin has quit [Ping timeout: 256 seconds]
tg has quit [Ping timeout: 255 seconds]
copy` has quit [Quit: Connection closed for inactivity]
tg has joined #mirage
rgrinberg has quit [Ping timeout: 260 seconds]
copumpkin has joined #mirage
propumpkin has quit [Ping timeout: 248 seconds]
fgimenez has joined #mirage
fgimenez has joined #mirage
fgimenez has quit [Changing host]
mort___ has joined #mirage
ansiwen has quit [Quit: No Ping reply in 180 seconds.]
ansiwen has joined #mirage
AltGr has joined #mirage
gjaldon has joined #mirage
mort___ has quit [Quit: Leaving.]
fgimenez has quit [Ping timeout: 240 seconds]
fgimenez has joined #mirage
fgimenez has joined #mirage
fgimenez has quit [Changing host]
mort___ has joined #mirage
mort___ has quit [Quit: Leaving.]
<hannes>
mato: FYI, if you use topkg, you can topkg distrib ++ topkg publish, which will build a tarball, and documentation, and upload this to GitHub. (no need to manually click on GitHub buttons)
<mato>
hannes: Yeah, I'm just trying this out on mirage-console-solo5 as a guinea pig. It's a bit fiddly to get right (hence a bunch of pushes and moving tags on master)
<mato>
Some of the things I didn't know and ran up against:
<mato>
1. topkg parses changelog to get the tag(s), so that should have the format # vX.Y (date)
<mato>
2. README needs to be in the format "# package-name -- Summary" and the first paragraph following for "topkg opam pkg" to generate a descr file
<mato>
3. Things get even more fiddly if I attempt to update an existing tag (but I hope to not have to do this for the other packages)
<mato>
Also, the Solo5 packages don't have any odoc docs, so I need to use `topkg publish distrib` otherwise it fails invoking `topkg doc`
<mato>
(Need to fix the docs at some point, but not right now)
mort___ has joined #mirage
fgimenez has quit [Ping timeout: 240 seconds]
fgimenez has joined #mirage
fgimenez has joined #mirage
fgimenez has quit [Changing host]
<hannes>
the "v" is optional
<mato>
Yeah, but the previous tags on the packages use it, so I wanted to be consistent.
<mato>
Also, I just made the same mistake again with bootvar, it's really important to do a git push --tags after tagging and before doing topkg publish, otherwise the wrong thing happens and the tag/release is out of sync
<hannes>
but didn't topkg publish also push the tag (AFAIR)?
<mato>
it appears to be doing so, but the tag lands on the wrong commit?!
<hannes>
strange
<mato>
yes
<mato>
hmm. also, it appears that "topkg tag" is not the same as "git tag". If I move a tag with the latter, then "topkg distrib" does not pick it up.
miragebot has joined #mirage
miragebot has left #mirage [#mirage]
<miragebot>
mirage/master bf09659 Hannes Mehnert: Merge pull request #779 from yomimono/fix-tls-syslog-invocation...
<miragebot>
mirage/master a4a8286 Mindy Preston: refer to tls logs-syslog module by proper name
<miragebot>
[mirage] hannesm pushed 2 new commits to master: https://git.io/vM6W0
mort___ has quit [Quit: Leaving.]
mort___ has joined #mirage
mort___ has quit [Quit: Leaving.]
mort___ has joined #mirage
mort___ has quit [Quit: Leaving.]
Drup has quit [Ping timeout: 258 seconds]
Drup has joined #mirage
mort___ has joined #mirage
fgimenez has quit [Ping timeout: 240 seconds]
fgimenez has joined #mirage
amirmc has joined #mirage
rgrinberg has joined #mirage
fgimenez has quit [Ping timeout: 252 seconds]
fgimenez has joined #mirage
fgimenez has joined #mirage
fgimenez has quit [Changing host]
gjaldon has quit []
mort___ has quit [Quit: Leaving.]
mort___ has joined #mirage
mort___ has quit [Client Quit]
rgrinberg has quit [Remote host closed the connection]
yomimono has joined #mirage
mort___ has joined #mirage
mort___ has quit [Client Quit]
miragebot has joined #mirage
<miragebot>
mirage/master f6c05dd Hannes Mehnert: mirage-stdlib-random was subsumed into mirage-random
<miragebot>
[mirage] yomimono pushed 2 new commits to master: https://git.io/vMieo