gnugat/knowledge — pull request #5 by PierrickP (2013-07-29 12:27:33+00:00)
Title: Edit not pushed commits

Add tips for not pushed commits
+ Change last message
+ Modify specific commit