Erik Cervin Edin CervEdin

Likes: Data, Graphs, AI, ML, Optimization, CP, Local Search, AI, ML, SQL, git, vim, bash & sed Dislikes: 🐛🐛

CervEdin / git-fp.sh

Last active December 26, 2021 08:38

Interactive force push

	#!/bin/bash

	git log --oneline --graph @{upstream}...HEAD
	git diff @{upstream} HEAD

	read -p "Push (with force)?" -n 1 -r
	echo

	if [[ $REPLY =~ ^[Yy]$ ]]
	then

CervEdin / gist:21a4dce8ab5a82936788d666e7737b52

Created April 25, 2021 21:46

Recursively check sub-directory git status

find . -type d -name .git -execdir git status \;