haiku: push repos missed in previous commit