There needs to be a stable API for third-party extensions to hook into before Pull Tool can hit 1.0.