Plugins push

Hi,
I’ve installed some plugins ( super-tabs ) for my app , committed the changes and pushed it (git).
Do the other members who pull it, need to install the plugins?