Configurable close and reopen keywords for PRs#8120

Merged

lafriks merged 15 commits intogo-gitea:masterfrom

guillep2k:config-close-keywords-mutex

Oct 30, 2019

Commits on Sep 11, 2019

Merge branch 'master' into config-close-keywords-mutex
guillep2k
authored

Commits on Sep 27, 2019

Merge branch 'master' into config-close-keywords-mutex
guillep2k
authored

Commits on Oct 16, 2019

Commits on Oct 25, 2019

Merge branch 'master' into config-close-keywords-mutex
guillep2k
authored

Commits on Oct 28, 2019