tree 42f437aa44ba7a587906a206dd4300666842be46
parent 90dfc1013b5586bc1be3eb07a0db17d73873c7b7
author Luca Milanesio <luca.milanesio@gmail.com> 1371837445 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1374964654 +0100

Initial version of the Pull-request plugin.

Implemented so far the GitHub SSO and retrieval
of the GitHub replication config.

Change-Id: I5669f091bc50862adcbf000a12f8a0f528f36ce6