$ git log origin/master
git config --get remote.origin.url
git clean -f -d
Use to upper right shortcut "+ > Import repository"
You can then change your local repo to point at the new origin.
git remote -v
to print the current settingsgit remote set-url origin git@github.com:username/repo-name.git
to change origin to the new url (ssh style url shown here, use the https style like above if that is what you prefer.)
@see https://gist.github.com/mandiwise/5954bbb2e95c011885ff#gistcomment-1833787
$ git push -u origin <branch>
$ git push -u origin <local-name>:<remote-name>
$ git push origin --delete <branch_name>
useful for drupal development.services.yml
git update-index --skip-worktree SOME_FILE
git update-index --no-skip-worktree SOME_FILE
git clean -n
- git clean -f
@see https://stackoverflow.com/a/64966/426193
git diff --name-only --diff-filter=U
@see https://stackoverflow.com/questions/3065650/whats-the-simplest-way-to-get-a-list-of-conflicted-files
git tag -a v1.6 -m "Milestone 1.6"
To push a single tag:
git push origin <tag_name>
And the following command should push all tags (not recommended):
git push --tags
@source https://stackoverflow.com/questions/5195859/how-to-push-a-tag-to-a-remote-repository-using-git
@see https://www.atlassian.com/git/tutorials/making-a-pull-request
Usually for a repo you don't own:
- create a fork
- clone & create a dedicated branch
- push the branch with new commit
- ask for a pull request on the initial repo
git push origin -d branchName
git remote add origin https://github.com/name/name.git
https://github.blog/2015-06-08-how-to-undo-almost-anything-with-git/