Skip to main content

All Questions

Tagged with
1 vote
0 answers
47 views

Github Copilot CLI npm version vs gh cli version - what to use in future

There seem to be 2 variants of Github Copilot for CLI: NPM: https://www.npmjs.com/package/@githubnext/github-copilot-cli part of GH CLI: https://docs.github.com/en/copilot/github-copilot-in-the-cli/...
dermoritz's user avatar
  • 798
2 votes
0 answers
591 views

Windows gradle build failed

I am trying to compile this code from Github (https://github.com/CCAFS/csa_compendium). I downloaded gradle. When I try to run it from the command line, I get the following error: Could not create ...
Helena's user avatar
  • 21
2 votes
1 answer
4k views

How do you download files from Github via Batch?

So, I am making an "Assistant" that is completely command line based. I recently decided to move from hosting files on One-drive to GitHub. I had made tiny.cc links so it would be easy to change the ...
user473470's user avatar
1 vote
3 answers
2k views

Create Github repository using command line + API

Please provide working code that creates a Github repository using the API. I have tried different versions of the following: curl 'https://api.github.com/users/repos?client_id= myusername&...
Mowzer's user avatar
  • 2,339
106 votes
9 answers
593k views

How to switch git user at terminal?

I am trying to push a project to a remote repository from the command line. From inside my local directory, I hit: $ git push and obtain the following error: remote: Permission to username1/repo....
Mowzer's user avatar
  • 2,339
0 votes
1 answer
84 views

Github integration with git command line

In Vundle for vim, plugins are added with the following syntax: Plugin 'user/repo' This works for any github repository, and it makes for a very concise .vimrc. My question is, is it possible to do ...
Wijagels's user avatar
  • 128
1 vote
1 answer
1k views

Is there a way to use GitHub for Mac for GitHub remote and CLI for other remote?

The GitHub for Mac app says it'll only work with the Git origin remote. This means that it'll only work with one remote. My current remote is used to push to Heroku. Is there a way to set my origin ...
Robert Klubenspies's user avatar