Subject: [boost] Seems like I need write-access to merge a PR
From: Fernando Cacciola (fernando.cacciola_at_[hidden])
Date: 2017-10-25 18:03:33
It's been a lifetime since I last worked on Boost, and I'm lost as to the
current procedures with the repository.
I've been looking into this open ticket:
and noticed this open pull request:
but even though I'm logged with my Github account, it appears I don't have
write-access to merge this PR.
I tried the wiki but seems to have way too much information. Can you
simplify the steps needed, these days, to fix a bug on a library? specially
if someone else already created a PR as in this case?
-- Fernando Cacciola SciSoft Consulting, Founder http://www.scisoft-consulting.com