Tobias Henkel 8bfc0cd409 Delay Github fileschanges workaround to pipeline processing ... Github pull requests files API only returns at max the first 300 changed files of a PR in alphabetical order. Change I10a593e26ac85b8c12ca9c82051cad809382f50a introduced a workaround that queries the file list from the mergers within the github event loop. While this was a minimal invasive approach this can cause multi-minute delays in the github event queue. This can be fixed by making this query asynchronous and delaying it to the pipeline processing. This query is now handled the same way as merge requests. Change-Id: I9c77b35f0da4d892efc420370c04bcc7070c7676 Depends-On: https://review.openstack.org/625596		2018-12-18 13:30:14 +01:00
..
__init__.py	Split the merger into a separate process	2014-02-17 11:47:15 -08:00
client.py	Delay Github fileschanges workaround to pipeline processing	2018-12-18 13:30:14 +01:00
merger.py	Merge "Fix permanently broken git cache"	2018-12-01 13:20:21 +00:00
server.py	Map file comment line numbers	2018-08-15 14:38:03 -07:00