Removed obsolete 'github' tool