Branch on new git repo locally The default branch for git is set to master. You can change that behavior by changing a global setting for the default branch. This will help keep the main branch as the default for newly created repositories. git config –global...
tl;dr GitHub repo with latest dotfiles: https://github.com/pranavcode/dotfiles.git Clone the dotfiles locally Ideally, clone it into the user’s home directory. git clone [https://github.com/pranavcode/dotfiles.git](https://github.com/pranavcode/dotfiles.git) Install...
The only question you should ask engineering leaders. Suppose you could design your dream job. You’ll be starting that job on Monday. It is at your ideal company with your ideal job title and salary. All you have to do is tell them what you want to do at your job, and...
Introduction Jinja is a modern templating language for Python. It enables dynamic expressions, filters, and access to variables, by providing Python-like expressions. It is used to generate any markup or source code. Official...
Reliability The system should continue to work correctly (performing the correct function at the desired level of performance) even in the face of adversity (hardware or software faults and even human error), “continuing to work correctly, even when things go wrong.”...
Introduction We cannot reset to the initial commit using rebase or revert due to git’s security mechanism. We cannot completely delete the .git directory or we will lose everything in our project’s version control. Here we are primarily concerned about the...
Introduction Use git grep to search code within the git repo. It makes it very convenient and efficient to do code searches without leaving your terminal (or editor). Setup Git Repo Setting up a sample git repo to play with git grep. git init someproject cd...
