push TIDNamingJ into github