This repository was archived by the owner on Jun 21, 2023. It is now read-only.

Pull Request Filtering#1312

Merged

grokys merged 21 commits intomasterfrom

feature/pull-request-filtering

Nov 20, 2017

Commits on Dec 16, 2016

Commits on Feb 13, 2017

Merge branch 'release/2.3' into enhancement/pull-request-filtering
grokys
authored

Commits on Aug 29, 2017

Commits on Nov 8, 2017

Merge branch 'master' into pr/732-pull-request-filtering
grokys
committed

Commits on Nov 13, 2017

Commits on Nov 17, 2017

Merge branch 'master' into feature/pull-request-filtering
grokys
authored

Commits on Nov 20, 2017

Merge branch 'master' into feature/pull-request-filtering
grokys
authored