add github user info
current settings
opam!

Conflicts:
	.zshrc

Conflicts:

	.zshrc