Skip to content
Chitlesh Goorah

Chitlesh Goorah

  • ASIC Design & Verification Engineer
    • Introduction to Liberty : CCS, ECSM and NDLM
    • IEEE P1800.2 (UVM)
    • Formal Verification
  • Landscape Photographer
  • twitter
  • youtube
  • linkedin

Category Archives: git

FIXED SSL: certificate verification failed

Upon a change of my server’s certificates, my git configuration required to be updated. Else, git pulls will fail with the following error message: SSL: certificate verification failed The fix itself is simple, first download a copy of the new X509 certificate and then update the sslCAinfo field in the .git/config file.

Posted bychitleshMarch 2, 2016Posted ingitLeave a comment on FIXED SSL: certificate verification failed

(GIT): Loose object is corrupted

The simple fix for corrupted loose objects e.g $ git pull error: object file .git/objects/db/d8b4d398dcca4507fc2ce2d2817b9a7ede38a4 is empty fatal: loose object dbd8b4d398dcca4507fc2ce2d2817b9a7ede38a4 (stored in .git/objects/db/d8b4d398dcca4507fc2ce2d2817b9a7ede38a4) is corrupt Solution: $ find .git/objects/ -size 0 -exec rm -f {} \; $ git pull

Posted bychitleshJune 17, 2015Posted ingitTags: git, howtoLeave a comment on (GIT): Loose object is corrupted

GIT: different types of add

# add to index only files created/modified # and not those deleted $ git add . # add to index only files deleted/modified # and not those created $ git add -u # do both operation at once, # add to index all files $ git add -A

Posted bychitleshMarch 23, 2014Posted ingitLeave a comment on GIT: different types of add

GIT: revert last commit

To revert the last commit which hasn’t yet been pushed: git reset –soft HEAD~1 To unstage a file: git reset file

Posted bychitleshApril 10, 2013Posted ingitLeave a comment on GIT: revert last commit

GIT: Creating a bare repo

Simple commands on how to create a bare repository mkdir gitproject.git cd gitproject.git git –bare init git update-server-info

Posted bychitleshAugust 9, 2012Posted ingitLeave a comment on GIT: Creating a bare repo

GIT: Origin fixed

When origin is lost, no sync, it feels like one is lost in the sea. Luckily, no need to seek for a captain to prevent the ship from drowning. $ git config –get remote.origin.url $ git remote set-url origin file:///mypath Aye aye, Captain !

Posted bychitleshJune 14, 2011Posted ingitLeave a comment on GIT: Origin fixed
Chitlesh Goorah, Proudly powered by WordPress. Privacy Policy