preguntar acerca de github

2
réponses

Comment faire pour que Sonarcloud tourne sur les demandes de pull de forks avec Travis, Maven & github

en regardant dans ma question récente echec Sonarcloud avec Travis, Maven & github j'ai réalisé que je posais la mauvaise question. J'essayais d'aborder un symptôme plutôt que le problème sous-jacent. un projet sur lequel je travaille ( eclips …
demandé sur 1970-01-01 00:33:37
2
réponses

Git — la fonction de révocation n’a pas été en mesure de vérifier la révocation du certificat

j'essaie de cloner à partir de Github en utilisant à la fois Github Desktop et git shell mais en continuant à obtenir cette erreur: Cloning into 'C:UsersJohn DoeworkspaceMyProject'... fatal: unable to access 'https://github.com/JohnDoe/MyProject.git …
demandé sur 1970-01-01 00:33:37
2
réponses

comment supprimer des fichiers dans le dépôt distant?

je ne sais pas quel est le terme exact pour ce problème. En gros, j'ai besoin de supprimer quelques fichiers & directory sur mon dépôt distant j'ai un repo git local et à distance repo sur github Avait travaillé moi-même. un ami a fait une dem …
demandé sur 1970-01-01 00:33:31
2
réponses

Markdown: les plus petites tailles d’images ne sont pas supportées par GitHub?

je veux réduire la taille de certaines de mes images dans mon README.md sur GitHub et il fonctionne très bien dans mon éditeur Markdown en utilisant quelque chose comme ![](./images/my_img.png =400x) cependant, quand je l'envoie à GitHub, le spect …
demandé sur 1970-01-01 00:33:34
3
réponses

Comment déclencher une commande de Pipeline Jenkins 2.0 à partir d’une demande de pression GitHub

il semble que le GitHubPullRequestBuilder n'est pas compatible avec Jenkins v2.0 emplois dans le secteur des pipelines. comment configurer une tâche de pipeline pour qu'elle soit déclenchée à partir d'un événement GitHub pull request? La documenta …
demandé sur 1970-01-01 00:33:36
2
réponses

Git-fatal: l’origine à distance existe déjà

Je ne peux pas créer l'origine à distance avec remote commande: $ git remote add origin https://github.com/LongKnight/git-basics.git fatal: remote origin already exists. Pour résoudre l'erreur, j'ai essayé ceci: $ git remote -v origin $ git remot …
demandé sur 1970-01-01 00:33:34
3
réponses

Comment créer des pages Github à partir de la documentation d’un projet?

j'ai un projet sur Github qui a un répertoire contenant de la documentation HTML générée automatiquement. Je voudrais utiliser cette documentation dans les pages de projet de Github. donc, j'ai lu les instructions sur la façon de créer le projet gh- …
demandé sur 1970-01-01 00:33:31
3
réponses

Android Studio et Git-Comment puis-je signer mes commits?

Selon ce lien, j'ai tout simplement besoin d'inclure l' -S commutateur pour signer mon commit en utilisant ma clé GPG, mais je ne vois pas comment je peux l'utiliser dans Android Studio. Comment puis-je signer mes commits dans Android Studio? EDIT …
demandé sur 1970-01-01 00:33:36
1
réponses

Comment télécharger des dossiers sur GitHub

Comment puis-je télécharger des dossiers vers GitHub? J'ai tout mon code dans un dossier, contenant 98 fichiers sur mon bureau. Je sais comment faire pour télécharger des fichiers, mais il-il un moyen de télécharger l'intégralité du dossier? Mer …
demandé sur 1970-01-01 00:33:36
12
réponses

Ma nouvelle page Github n’apparaît pas.

je suis Donc suivant j'ai créé un référentiel, cloné à mon répertoire de projet et poussé, enfin arrivés à cette dernière étape: Fire up a browser and go to http://username.github.io. Give it a couple of minutes for your page to show up—there will …
demandé sur 1970-01-01 00:33:34