Re: New pull request: Sanitized APPLY_MASTER and SAFE_APPLY_MASTER macros.

Chris Angelico <[email protected]> Mon, 19 Feb 2018 21:12:02 +1100

Newsgroups	gmane.comp.lang.pike.user
Message-ID	<CAPTjJmqbXyMz=+kh62zUxGhusqawF-fysyAutRYt8DCSmOc+0g@mail.gmail.com>

On Mon, Feb 19, 2018 at 8:41 PM, Stephen R. van den Berg <[email protected]> wrote:
> Mateusz Krawczuk wrote:
>>I am writing to inform you that I have raised a new pull request to the
>>Pike language. You can find it here
>><https://github.com/pikelang/Pike/pull/7>.
>
> I tried to approve this on github, which seems to work.  But then I cannot
> commit it (because I lack the rights, presumably).
> Which then raises the question, if we *would* push it onto the github
> version, how to make sure that it pushes through to the real master Pike
> repository?

The easiest way would be to merge the pull request's branch into your
local repo, and then you can push as normal.

ChrisA