Oct. 23rd, 2024
It was a short day to work.
In the morning I looked into wtf was going on. My PR needed an update from master; so I did update it. Then fixed the merge. Then pushed the result. And closed my computer.
Later in the day we rushed home, to make sure I'm not late to the meeting. Arrived 10 minutes before the meeting. Jenkins shows that the PR is ok. Sent /remind to the reviewers.
At the meeting Mike asked me what's up. I told him what's up. And started working on that other pr from a bot. Eventually discovered that the bot complains about some manually-edited file that was supposed to be generated.
The problem was, Jeremey, in July, manually updated an automatically generated file, and now Jenkins complains about it. Esteban told me how to regenerate, and I did, pushed, and the bot has ran the build and merged it.
It's just 3pm over there, on the East Coast, but it seems like it's only me online, and Esteban (he has 2pm in Bogotá).
So, that's it for today.