Ann Knowledge Hub
  • 📚Home
  • Bash
  • 🔀git
  • 🤖AI / ML / Gen AI
    • Generative AI - A Primer
    • Course Notes - Google ML Intro
  • 🎯How To Guides
  • 🔖Good Reference Articles
  • 📳Mobile Development
    • iOS
      • Useful Information
      • Debugging Tricks
      • ViewController Concepts
      • Nullability Annotations
      • UI Testing XCTestUI
      • Xcode Concepts
    • Mobile Application Services
    • AB Testing
    • Firebase
    • Good Articles Blogs
    • iOS Troubleshooting
    • Cocoapods Troubleshooting
  • 💯Miscellaneous
    • Google Calendar API
  • 🌐Web Development
    • 📚Learning Resources
    • 🔎Troubleshooting Issues
Powered by GitBook

About Me

  • My blog
  • GitHub

© 2024 Ann Catherine Jose

On this page
  • Good Articles
  • How to Use Pull requests search filters
  • How to Set the Correct Email to GitHub account
  • The Best Solution

Was this helpful?

Edit on GitHub

git

PreviousBashNextAI / ML / Gen AI

Last updated 1 month ago

Was this helpful?

Good Articles

  • Simple list of git commands -

  • Git Rebase -

How to Use Pull requests search filters

Source:

  • To view the PRs that were closed with out merging

    is:pr is:unmerged state:closed

  • To see PRs that were closed without merging after a specific date

    is:pr is:unmerged state:closed closed:>2018-04-01

How to Set the Correct Email to GitHub account

When you switch between the public github and Intuit github, you may have trouble seeing the correct user associated with the commits. In order to avoid this mismatch, you need to set the correct git user BEFORE you make the commits.

Command to see the currently configure user

git config --global user.email

Replace user.email with your actual email address like so: git config --global user.email "your_email@example.com".

Command to see all local configuration (can be run only from a git repo)

git config --local --list

The Best Solution

Configure the local repos pointing to public GitHub to use Gmail address. Configure global value to be corporate email address. (Or the other way around)

cd ~/dev/GitHub/my-learnings git config --local user.email <your-pers-email>
git config --global user.email <your-corp-email>

Result:

git config --local user.email ==> your-pers-email
git config --global user.email ==> your-corp-email
🔀
https://git-scm.com/book/en/v2/Git-Branching-Basic-Branching-and-Merging
https://jeffkreeftmeijer.com/git-rebase/
https://help.github.com/enterprise/2.10/user/articles/searching-issues-and-pull-requests/