mesos-reviews mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From GitBox <>
Subject [GitHub] [mesos] qianzhangxa commented on pull request #403: Fixed cpplint errors.
Date Mon, 09 Aug 2021 23:45:40 GMT

qianzhangxa commented on pull request #403:

   > I don't seem to have merge permissions yet?
   @cf-natali What we usually do is to run `support/ -g <PR-number>`
(e.g. `support/ -g 403` for this PR) to apply the changes of a PR on top of
the latest code of `master` branch, and then run `git push` to push the commit to the remote
( which will also automatically close the PR.
I think you already have the push permission now. Once the commit gets pushed, it will also
trigger a build in, we need to check
if that build has any failures.
   Please note, is just a mirror of,
so I do not think we should directly merge MRs in it.
   Please also add yourself into,

This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

To unsubscribe, e-mail:

For queries about this service, please contact Infrastructure at:

View raw message