Open davidchisnall opened 4 years ago
Currently, the only way of filtering mail from HotCRP is by parsing the subject and filtering on the domain. It would be great to have some X-HotCRP-* headers for things like the venue name, year, and the kind of message.
Also paperId would be cool
Currently, the only way of filtering mail from HotCRP is by parsing the subject and filtering on the domain. It would be great to have some X-HotCRP-* headers for things like the venue name, year, and the kind of message.