Add a tool to synchronize webhooks on our repositories#9

Open

pietroalbini wants to merge 3 commits intorust-lang:masterfrom pietroalbini:webhooks

+2,194-7

Commits on Jan 17, 2019

sync-webhooks: create tool
pietroalbini
committed

Commits on Jan 18, 2019