We'd love it if someone could put the right labels on the PR so that we can see the results of a CI run. We'd also love some input on the PR itself, of course. Is this the correct forum to ask for these types of things?
Thanks very much,
-Alex
stackedsax
unread,
Jun 26, 2020, 6:16:29 PM6/26/20
Reply to author
Sign in to reply to author
Forward
Sign in to forward
Delete
You do not have permission to delete messages in this group
Copy link
Report message
Show original message
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
to Protocol Buffers
Hey again,
PR #7470 is up to 17 thumbs up and 4 hooray emojis. Is this enough to get a CI label put on the PR? We'd just like to see if it passes CI or if there is more work to be done at this point.
Thanks very much,
-Alex
stackedsax
unread,
Jul 1, 2020, 3:45:46 PM7/1/20
Reply to author
Sign in to reply to author
Forward
Sign in to forward
Delete
You do not have permission to delete messages in this group
Copy link
Report message
Show original message
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
to Protocol Buffers
Can I buymeacoffee.com for someone to put a CI label on this PR? Or is there somewhere else I should try and reach out to folks?
Cheers,
-Alex
David L. Jones
unread,
Jul 6, 2020, 9:01:30 PM7/6/20
Reply to author
Sign in to reply to author
Forward
Sign in to forward
Delete
You do not have permission to delete messages in this group
Copy link
Report message
Show original message
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
to Protocol Buffers
Hey Alex --
I just posted a reply on the PR. Sorry for the delay.