I just got the same problem and just figured out what’s cause. Github seems only supports ssh way to read&write the repo, although https way also displayed ‘Read&Write’. So you need to change your repo config on your PC to ssh way: Edit .git/config file under your repo directory. Find url=entry under section [remote “origin”]. … Read more
This seems to be followed by github/markup issue 991, where on ordered sub-list, decimal numerals automatically turns into roman numerals. I have found the cause of problem. It is CSS This is the expected way for nested ordered lists to render in HTML. This is not expected in HTML. https://jsfiddle.net/tf5jtv8s We don’t make any modifications … Read more
You have to add the original repository (the one you forked) as a remote. From the GitHub documentation on forking a repository: Once the clone is complete your repo will have a remote named “origin” that points to your fork on GitHub. Don’t let the name confuse you, this does not point to the original … Read more
I’d do it with cherry-pick -n (–no-commit) which lets you inspect (and modify) the result before committing: git cherry-pick -n <commit> # unstage modifications you don’t want to keep, and remove the # modifications from the work tree as well. # this does work recursively! git checkout HEAD <path> # commit; the message will have … Read more
The rules in your .gitignore file only apply to untracked files. Since the files under that directory were already committed in your repository, you have to unstage them, create a commit, and push that to GitHub: git rm -r –cached some-directory git commit -m ‘Remove the now ignored directory “some-directory”‘ git push origin master You … Read more
I think you may have the wrong Git repository URL. Open .git/config and find the [remote “origin”] section. Make sure you’re using the SSH one: ssh://git@github.com/username/repo.git You can see the SSH URL in the main page of your repository if you click Clone or download and choose ssh. And NOT the https or git one: … Read more
below is used to add a new remote: git remote add origin git@github.com:User/UserRepo.git below is used to change the url of an existing remote repository: git remote set-url origin git@github.com:User/UserRepo.git below will push your code to the master branch of the remote repository defined with origin and -u let you point your current local branch … Read more
Here’s the brute-force approach. It also removes the configuration of the repository. Note: This does NOT work if the repository has submodules! If you are using submodules, you should use e.g. interactive rebase Step 1: remove all history (Make sure you have a backup, this cannot be reverted) cat .git/config # note <github-uri> rm -rf … Read more
Edit (by @dk14 as suggested by moderators and comments) WARNING: If you use credential.helper store from the answer, your password is going to be stored completely unencrypted (“as is”) at ~/.git-credentials. Please consult the comments section below or the answers from the “Linked” section, especially if your employer has zero tolerance for security issues. Even … Read more
Go to the file you want to download. Click it to view the contents within the GitHub UI. In the top right, right click the Raw button. Save as…