Note the best way to do this is:
1. Make the change in feeds.js
2. Amend your commit: <code>git commit --amend -m "Feeds: Fix to allow HTTPS feeds</code>
3. Push the change: <code>git push --force origin v4.0-HTTPSFeedsPatch</code>