github issues depend on githubot