Age | Commit message (Collapse) | Author | |
---|---|---|---|
2020-11-02 | chore: remove unused tools/ scripts (#8222) | Bartek IwaĆczuk | |
2020-01-02 | Happy new year! (#3578) | Ry Dahl | |
2019-06-12 | Split up tools/sync_third_party | Ryan Dahl | |
This is just encoding my actual workflow; not suggesting that this workflow is ideal. Previously I would edit sync_third_party.py each time I ran it. |