Conseils, tendances et sélections d'outils de nos experts

« Back to Glossary Index

En développement web, un « push » désigne l’action d’envoyer des données ou des modifications depuis un système local vers un serveur ou un référentiel distant, comme dans Git. Cela permet de mettre à jour un projet avec les changements effectués sur la machine locale afin qu’ils soient accessibles aux autres utilisateurs. Le terme « push » peut également être utilisé pour décrire l’envoi de notifications ou de mises à jour en temps réel vers les utilisateurs via des services web.

« Retour à l'index du Gloquisert
LOGO 4
Aller au contenu principal