Ignore everything from plugins/*.
Add push.js, migrate from PushPlugin example.