Questions marquées «github»

96
Comment déplacer un problème sur github vers un autre dépôt?

Cela arrive de temps en temps. Certaines bibliothèques dépendent d'une autre et un utilisateur ouvre un problème qui appartient au mauvais dépôt. Puis-je déplacer le problème vers l'autre repo? Vous pourriez faire valoir que le problème pourrait être considéré comme étant le problème des deux...

96
Comment copier des commits d'un repo Git vers un autre?

La semaine dernière, j'ai créé un dépôt Github et j'ai oublié de sélectionner une licence pour le dépôt. Maintenant, il y a déjà 3 gros commits. J'ai demandé aux 3 contributeurs si tout allait bien, si je supprime le repo, puis le crée à nouveau avec le même nom et cette fois en sélectionnant la...

95
git renvoie l'erreur http 407 du proxy après CONNECT

J'ai un problème lors de la connexion à github depuis mon PC, en utilisant git. Système Win 7. J'ai une connexion via un proxy, donc je l'ai spécifié dans les fichiers de configuration git (à la fois dans le dossier général git et dans le dossier git repo). Pour ce faire, je suis entré dans la...

95
Jenkins - Comment créer une branche spécifique

Ce n'est pas aussi simple que de faire une construction paramétrée. J'ai déjà un processus de construction spécifique qui sera construit et déployé chaque fois que l'une de ces branches est poussée vers GitHub: Donc, si je viens de pousser developet que la construction a réussi, comment puis-je...

94
Git: Récupérer la branche supprimée (distante)

J'ai besoin de récupérer deux branches Git que j'ai supprimées d'une manière ou d'une autre lors d'un push. Ces deux branches ont été créées sur un système différent et ensuite poussées vers mon référentiel «partagé» (github). Sur mon système, j'ai (apparemment) récupéré les branches lors d'une...

94
Transformer le dépôt Git de GitHub vers GitLab

Supposons que je souhaite implémenter un correctif sur un projet de quelqu'un d'autre. Ce projet réside sur GitHub. Je pourrais créer un fork sur GitHub et implémenter le correctif. Cependant, j'aimerais créer mon fork sur GitLab plutôt que sur GitHub. Est-ce possible? Comment? J'ai lu cet...