20:34:27moodWell, in that case the newer version could just replace the 1.2->1.3 migration with a no-op and implement the desired migration as 1.3->1.4
20:36:25ShinmeraYeah. Again, a lot of the problems that could prop up for a system like this vanish if the build system can only ever know one version anyway.
20:38:38moodYep. Sometimes it's a curse, sometimes it's a blessing
20:38:58ShinmeraNah it's just a a curse. Sometimes curses just mean you can take short cuts.
20:41:25ShinmeraLike the entire curse of operating systems today :V
20:44:45moodIt's very... useful that GitHub sends me an email both for the commit you pushed, and for the update to the PR about that push...
20:45:07ShinmeraI also love when people make a few comments and I get my inbox spammed full
20:45:38moodAt least the reviews solve part of that. GitLab is still working on that
20:45:52ShinmeraIt could queue things up for a few minutes and then send out a batched update.
20:46:15ShinmeraNot like email's made for instant messaging anyway.
20:46:22ShinmeraYeah the review system is quite nice.