mirror of
https://github.com/zulip/zulip.git
synced 2025-11-22 15:31:20 +00:00
Now that our plugin is in the Jenkins marketplace thing, we don't need to have the user laboriously download it from us and upload it themselves. (imported from commit 25e9926f7f2314db8f3ea6c00c40514b6fd546c3)