Questions marquées «github»

468
Pull request vs Merge request

Quelle est la différence entre une demande Pull et une demande Merge. Dans Github, c'est une demande Pull et dans GitLab par exemple, c'est une demande de fusion ... Y a-t-il une différence entre les

450
Supprimer temporairement les fichiers de git

J'ai installé un git local sur ma machine. Lorsque j'ai initialisé git, j'ai ajouté des bibliothèques et des binaires précompilés. Cependant, maintenant pendant mon développement, je ne veux pas archiver ces fichiers par intermittence. Je ne veux pas supprimer ces fichiers du dépôt. Existe-t-il un...

450
erreur git: échec de l'envoi de certaines références à distance

Pour une raison quelconque, je ne peux pas pousser maintenant, alors que je pouvais le faire hier. Peut-être que j'ai foiré des configs ou quelque chose. Voici ce qui se passe: Quand j'utilise le git push origin master À quoi ressemble mon répertoire de travail et mon référentiel distant:...

436
Domaine personnalisé pour les pages de projet GitHub

J'ai une gh-pagessuccursale dans l'un de mes dépôts http://github.com . Les pages du projet GitHub fonctionnent bien si je vais sur http://myuser.github.com/myrepo Je veux configurer un domaine personnalisé (monexemple.com) qui servira à ces pages de projet. Je veux les deux myexample.com et...

419
Plusieurs comptes Github sur le même ordinateur?

Essayer de travailler à la fois sur mes repos réels "de travail" et mes repos personnels sur git hub, depuis mon ordinateur. Le compte de travail a été créé en premier et tout fonctionne parfaitement. Cependant, mon compte personnel ne semble pas pouvoir pousser vers mon référentiel personnel, qui...

413
git - origine ajouter à distance vs origine set-url

Je crée un nouveau référentiel: git init echo "# MESSAGE" >> README.md git add README.md git commit -m "first commit" Ensuite, je veux pousser ma validation dans le référentiel distant vide créé sur github, je dois donc définir remote. Quelle est la différence entre l'utilisation des...