UI related
==========
[X] Disable buttons when not applicable (Eg: When there is no repo, when there is no head, etc.)
[ ] Add a desciption in the lower toolbar
	[ ] Of the tool when enabled/the git equivalent
	[ ] Why it is greyed out when disabled
[ ] Make the description of disabled button light grey instad of white
[ ] Make the tool theme based on processing color scheme
[ ] In git push, fix the too long JTextField that sets the repo

Bugs
====
[ ] Make Git Manager update the repo it looks at when operations like "Save As" are done

Adding functionality
====================
[ ] Revert the following commits:
	[ ] 18779a3a56d343d (hide online part of tool)
	[ ] "Expertise menu"
[ ] Continue working on
	[ ] git add
		[ ] allow user to specify files
	[ ] git pull
		[ ] allow user to specify remote
		[ ] allow user to specify branch
		[ ] permit user to --rebase
	[ ] git push
		[ ] read in uname, origin from config files
		[ ] allow user to specify remote
		[ ] allow user to specify branch
		[ ] permit force push
	[ ] git checkout
		[ ] to switch branches
		[X] to make things identical to head


Missing functionality
=====================
[ ] git commit
[ ] git diff
	[ ] get files that have changed, and their contents
	[ ] show it exactly like output of git diff in the git bash
	[ ] allow user to specify the 2 commits
[ ] git stash
	[ ] basic stash
	[ ] save
	[ ] pop
	[ ] apply
[ ] git reset
	[ ] hard
	[ ] soft
[X] git log
[ ] git branch
	[ ] add
	[ ] rename
	[ ] delete
	[ ] view branch history as git graph
[ ] git remote
[ ] git config
[ ] git tag
[ ] git rebase
[ ] git merge
[ ] git fetch