Super User
Super User

Questions tagged [github]

Git repository hosting service - May be better on Web Apps or Stack Overflow

Your question may be welcome here on Super User if it does not fall into the following:

Account or shop related issues

These should be addressed directly at GitHub Support.

GitHub interface and features

Better on Web Applications.

For such questions as

  • How to use its search
  • Wiki page formatting and directories
  • Syntax highlighting on README files

Git version control of hosted GitHub repo

Here or on Stack Overflow.

  • Includes pushing your repo or branch
  • Configuring Git to connect with GitHub

For questions about the Git version control system itself, please use the tag.

506 questions
183
votes
13 answers

How do I ensure Git doesn't ask me for my GitHub username and password?

I am working with a repo on GitHub and everytime I try to push something, it asks for my GitHub username and password. I don't want it doing that. I tried the instructions on setting your email in Git, namely set up the Git variables github.user and…
picardo
  • 2,607
144
votes
7 answers

Is there a way to edit a commit message on GitHub?

Is there a way to edit a commit message after committing and pushing to GitHub? I see that there is a 'add a note' as well as inline commenting, but no actual editing of a commit message. There is also 'amend commit' in git extensions but that…
Matthew Peters
  • 1,828
  • 3
  • 13
  • 14
112
votes
9 answers

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.git denied to username2. fatal: unable to access…
Mowzer
  • 2,509
79
votes
2 answers

Read Only access to GitHub repo via SSH key

I want to generate an SSH key with only READ permissions to be used with my GitHub account is it possible? or should I create another account with only read permission?
jibe
  • 893
66
votes
1 answer

SSH config - same host but different keys and usernames

I've set up two GitHub accounts, but I can't get ssh keys to work correctly. I've tried various configs. Host github_username1 HostName github.com IdentityFile ~/.ssh/rsa_1 User username1 Host github_username2 HostName github.com …
usr
  • 875
58
votes
5 answers

Bring a local folder to remote git repo

I have a folder with all my files set up for a project. I decided to use git on that folder, so I created on Github an empty repo. Usually the procedure is to clone on my local disk the remote repo, and in this case it will create an empty folder.…
user840718
  • 1,173
56
votes
5 answers

Does Git delete empty folders?

I deleted all files from a directory in my work folder, but the directory itself still exists. After pushing the changes to a remote repository (GitHub) I checked my project and noticed that the directory was gone. Is it possible that Git deletes…
vitaliy4us
  • 669
54
votes
4 answers

Is a GitHub account required for cloning a repository?

I'm putting together some documentation and don't have access to a non-configured machine to test this myself I'm curious if you need a GitHub account to clone a repository from GitHub to a local machine.
Joseph Mainwaring
50
votes
5 answers

How to mark a file as “uncommitable” with Git?

I want to show off some of my work by uploading them to my GitHub account. However, there are some files that contain passwords, like database connections. Is there a way of marking a file as uncommitable with Git so that it cannot appear on…
Adam Carter
  • 613
37
votes
4 answers

Git push failing with Fatal: HttpRequestException encountered

lt is really strange that when l try to use git push today,error reports Fatal: HttpRequestException encountered and requires me to enter username and password. l have tried git pull and git clone and they both work well. And it works well before…
Rosmee
  • 373
  • 1
  • 4
  • 5
36
votes
3 answers

How can I Resync a fork from original

I just forked a project in Github. I made modifications and sent a pull request. The owner merged my fork with the main project and after that he made some modifications. So for now my fork is not updated with the main project. I miss the…
bAN
  • 1,776
34
votes
3 answers

Connecting to github using PuTTY generated SSH key in Windows

On an otherwise pristine Windows 7 Enterprise install: Install PuTTY 0.62 Create public/private key pair with puttygen.exe Add public key for pasting into OpenSSH authorized_keys to github account Add private key to pageant Install msysgit 1.7.8…
Radu
  • 509
32
votes
4 answers

Is it safe to store (encrypted) passwords on GitHub?

I am using pass to handle all my passwords. They are encrypted using GPG with a 4096 bits key, using the SHA256 algorithm. I am using a different password for every login in my password store. One of pass's cool feature is that everything holds in a…
Nicolas Mattia
  • 441
32
votes
6 answers

github flavored markdown editor for osx

Do you know any editor for Mac OSX that helps with editing Github flavored markdown? I think Mou ( http://mouapp.com/ ) is fine, only that its just plain markdown and not Github markdown. Please, this is a question about Github flavored Markdown,…
Michael
  • 441
31
votes
5 answers

What does the git error message "Server does not allow request for unadvertised object" mean?

I am trying to do a checkout from github, and I got this error message: [user@arch ~]$ git clone --recursive https://github.com/simsong/tcpflow.git Cloning into 'tcpflow'... The authenticity of host 'github.com (192.30.253.113)' can't be…
vy32
  • 3,531
1
2 3
…
33 34