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