16 Commits

Author	SHA1	Message	Date
Joe Groocock	ff0d449fa5	git: add 'git leaders' alias ... Lists git committers in order of commit count, for a repo	2020-03-21 23:02:28 +00:00
Joe Groocock	936e8828c8	git: use absolute dates in git-log	2020-03-21 23:01:50 +00:00
Joe Groocock	fb480c73c5	git: prune deleted branches on fetch/pull	2020-03-21 23:01:01 +00:00
Joe Groocock	bedead5cda	git: fix global gitignore	2018-11-08 22:26:44 +00:00
Joe Groocock	e4bc126708	git: add diff-highlight script for portability	2018-10-19 15:03:52 +01:00
Joe Groocock	700dfdda6f	git: Use diff-highlight for diff/patches	2018-10-01 16:25:15 +01:00
Joe Groocock	28dda3e9b0	git: Remove diff-so-fancy	2018-07-30 09:09:15 +01:00
Joe Groocock	593f39fff3	git/config: improve git-diff colours with diff-so-fancy	2018-03-29 16:29:55 +01:00
Joe Groocock	ce1b6bdffc	git/config: update email & cleanup	2018-03-29 10:19:03 +01:00
Joe Groocock	eba5e15cf8	Add cmake build directories to global gitignore	2018-02-22 13:21:08 +00:00
Joe Groocock	7301d2476e	add global gitignore	2018-01-26 23:44:49 +00:00
Joe Groocock	d1ed7c4222	Use patience algo for git-diff	2017-11-24 00:16:24 +00:00
Joe Groocock	4f6330e7a0	Add git pushall alias	2017-11-15 23:49:09 +00:00
Joe Groocock	a6db5e8074	git/config: add sendemail configuration for gmail	2017-10-03 10:19:39 +01:00
Joe Groocock	c8d89667f3	git/config: ensure consistent formatting of tabs	2017-10-03 10:19:22 +01:00
Joe Groocock	4635a0842c	Enforce git commit signing ... Add 'git verbs' command	2016-10-14 22:40:54 +01:00