mohanarpit

#!/bin/bash

$default_branch="release"
git checkout $default_branch;
git pull;

while IFS= read -r prs || [ -n "$prs" ]; do
  echo "Checking out PR: $prs"
  gh pr checkout $prs;
  git merge $default_branch --no-edit;

mohanarpit

/* bling.js */

window.$ = document.querySelectorAll.bind(document);

Node.prototype.on = window.on = function (name, fn) {
  this.addEventListener(name, fn);
};

NodeList.prototype.__proto__ = Array.prototype;

mohanarpit

#!/bin/bash

echo "Input the path of the local repository: "
read localPath

echo "Input the URL of the new remote repo: "
read newRemote

cd $localPath
#Get the current remote repo

mohanarpit

#!/bin/bash

#This script creates a new DB and an associated user with it

echo "Input the database to be created: "
read db 

echo "Input the username to be associated with the DB: "
read username

mohanarpit

#!/bin/bash
# This script takes the SHA-I1D of the commit as the input and truncates the history of the repository for all commits beyond # that SHA1-ID
git checkout --orphan tmp $1
git commit -m "Truncated history"
git rebase --onto tmp $1 master
git branch -D tmp

mohanarpit

#!/bin/sh
git filter-branch --commit-filter '
        if [ "$GIT_COMMITTER_NAME" = "<Old commit name>" ];
        then
                GIT_COMMITTER_NAME= "<New commit name>";
                 GIT_AUTHOR_NAME="<New author name>";
                GIT_COMMITTER_EMAIL="<New commit email>";
                GIT_AUTHOR_EMAIL="<New author email>";
                git commit-tree "$@";
        else