tendermint / coding

14 stars 10 forks source link

update readme to clarify how to get PRs merged #17

Closed zramsay closed 6 years ago

zramsay commented 7 years ago

from https://github.com/tendermint/internal/issues/19

zramsay commented 6 years ago

we seem to have this figured out