git alias to delete locally and remotely in one go