David Bieber
David Bieber
I realize we are now past the end of the year. Apologies.
Thanks for the PR @paul-ada! It may be some time before we process it, but it is already appreciated.
Copybara is the tool we use to sync the google internal copy of the repo with the github copy. The error could be from them getting out of sync; I'll...
Thanks for checking back in, but unfortunately no, no updates on my end.
> @dbieber any chance to get some more details on what is happening with the `copybara`? Hmm, I don't know offhand. Copybara is a tool we use to sync our...
You can safely ignore it.
Hi Borda, Thank you for the PR and your patience. I see the value of running the GitHub Actions on a pull_request. I do not see the value of the...
Thanks for checking back in, but unfortunately no, I haven't found time for this yet.
happy new year @Borda :)
Thank you. I'll merge this now.