Yes, the IRP will push the data to the GST portal, and the data will be populated in GSTR-1 of the seller.