Mike McQuaid 1fe8cf7079
Merge pull request #4858 from cblecker/bump-pr-protocol
Determine remote_url using git config
2018-09-09 15:18:49 +01:00
..
2018-09-02 20:15:09 +01:00
2018-09-02 16:15:09 +01:00
2018-09-04 09:56:57 +01:00
2018-09-02 20:15:09 +01:00
2018-09-02 16:15:09 +01:00
2018-07-11 18:15:30 +02:00
2018-07-11 18:15:30 +02:00
2018-09-02 12:56:31 +01:00
2018-07-03 15:41:33 +01:00