Follow-up: set pr.file after posting