[easybuild] Locally modifying someone else's PR?

[Loris Bennett]

Hi,

If I have Github integration set up and I want to make changes to
someone else's PR, what would be the best workflow for that?

Cheers,

Loris

-- 
Dr. Loris Bennett (Mr.)
ZEDAT, Freie Universität Berlin         Email loris.benn...@fu-berlin.de