Oct. 23rd, 2024

juan_gandhi: (Default)
Улицы Альби






Read more... )
juan_gandhi: (Default)
Дождик за окном







Тулуз-Лотрек


Read more... )

dybr

Oct. 23rd, 2024 08:50 pm
juan_gandhi: (Default)

 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.

Profile

juan_gandhi: (Default)
Juan-Carlos Gandhi

November 2025

S M T W T F S
       1
23456 7 8
9 1011 12 1314 15
16171819 20 2122
23 24 252627 28 29
30      

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Nov. 30th, 2025 02:54 pm
Powered by Dreamwidth Studios