Hi all, This is a beginner question, but what's the difference between pushing to github via mvn release and pushing manually? Will both allow plugins to be updated in the page? (I'm not sure how the plugin scanning / build process works).
Thanks! Louis
