removing hey_dummy since it has its own repo now