github
How to stop github from adding new commits to existing pull request
In GitHub a Pull Request denotes the request to merge one branch with another. When either branch is updated, the pull-request is updated too and the merge is re-evaluated. Thus, when you push new changes to a branch that has an outstanding pull request linked to it, the pull request will be updated to include … Read more
Git refs merge vs head in pull request
The refs/pull/<number>/merge is a reference created by GitHub to keep track of what would happen if a pull request was merged. It references the merge commit between refs/pull/<number>/head and the destination branch (e.g. master). You can think of it as a “future” commit. GitHub (as well as other Git-based collaboration platforms) use this technique to … Read more
Github oauth multiple authorization callback URL
I solved this issue by creating a dedicated OAuth application on Github for my local development environment. So I have the following 2 OAuth applications: My official OAuth application for production Client ID: ABC Client Secret: 123 Authorization callback URL: https://example.com/api/v1/security/oauth/github/callback My private OAuth application for development Client ID: XYZ Client Secret: 456 Authorization callback … Read more
How to see all Pull requests that im tagged as a reviewer
Try the link https://github.com/pulls/review-requested, which shows you all Pull Requests that you’ve been tagged in as a reviewer. Note that you may have to click the Open or Closed buttons on that page to filter the Pull Requests you wish to see. The equivalent Github search is: is:open is:pr review-requested:<username> archived:false
Can Git and iCloud Drive be effectively used together?
No, they shouldn’t be used together. Apple says “You shouldn’t store app folders, libraries, or .tmp files in iCloud Drive.” .git is an app folder. There is a list of filenames excluded by iCloud Drive that git doesn’t avoid. So, for example, if you name a tag “tmp”, that tag won’t be synced. There’s also … Read more
git how to change default branch for everything I do?
Following the FAQ article “How to Rename the master branch to main in Git”, and the GitHub documentation itself, you can: rename your local branch from master to main: git branch -m master main push to main: git push -u origin main update your default branch on GitHub side: Then delete the remote master branch: … Read more
How do I remove all stale branches from Github?
You can right click on the browser after opening the stale branches and run this in the browser java script console. To delete all the stale branches. i.e) this script automatically clicks to the next page and proceeds to delete stale branches in the next page. async function deleteStaleBranches(delay=500) { var stale_branches = document.querySelectorAll(‘[aria-label=”Delete branch”]’); … Read more
“Warning: the ECDSA host key for ‘github.com’ differs from the key for the IP address” issue
If you are getting the following error: Warning: the ECDSA host key for ‘github.com’ differs from the key for the IP address ‘IP_ADDRESS’ I would recommend to do the following: $ ssh-keygen -R github.com If that does not work then remove the IP itself from known-host: $ ssh-keygen -R IP_ADDRESS This should would fix your … Read more