mirror of
https://github.com/servo/servo.git
synced 2025-10-04 02:29:12 +01:00
Since we currently just delete the branch before CI runs causing errors and unnneccessary resource usage. |
||
---|---|---|
.. | ||
__init__.py | ||
fetchlogs.py | ||
github.py | ||
tree.py | ||
update.py | ||
updatecommandline.py | ||
upstream.py |