aboutsummaryrefslogtreecommitdiffstats
path: root/git-tools/merge.php
Commit message (Expand)AuthorAgeFilesLines
* [ticket/12594] Remove @package tags and update file headersYuriy Rusko2014-05-271-3/+7
* [ticket/11603] Throw RuntimeExceptions instead of using exit()Joas Schilling2013-06-191-1/+1
* [ticket/11603] Avoid using cURLJoas Schilling2013-06-191-7/+10
* [ticket/11603] Fix github API callsJoas Schilling2013-06-131-2/+9
* [ticket/11603] Fix github api url and use curl with valid user agentJoas Schilling2013-06-131-1/+6
* [ticket/11513] Update all CLI calls to phpunit to use vendor/bin.Andreas Fischer2013-05-091-3/+3
* [ticket/9916] Changing header in non-distributed filesUnknown2012-01-021-1/+1
* [ticket/9806] Script for merging pull requestsIgor Wiedler2011-03-131-0/+175