andymckay/zamboni — comment on commit 8a4ffd274a5f4651116e8dda6ace5055161bdc17
File: settings.py line 1299
By cvan:

do we want to exclude `/developers/addons`? it's not a *terrible* idea to leave it, but the header does say "Add-on Developer Hub."