While receiving data from the GitHub event push, we encounter two problems
during the parsing of the event metadata.
Type problem while parsing the object repository
There is an inconsistency coming from GitHub for two specifics fields:
pushed_at and created_at. The push event always sends the fields pushed_at
and created_at as integers (EPOCH), instead of string values as expected from
the atd file:
type repository = {
...
?pushed_at: string option;
created_at: string;
...
The documentation shows that both field must be consider as integers.
I took a quick look at others event payload, and the push event seems to be
the only one where those fields are integers...
(The error is different from the issue #136)
Missing record fields created_at, id
The type event_hook_metdata expects two specifics field from the hook payload:
created_at and id:
type event_hook_metadata = {
...
created_at: string;
...
id: int <ocaml repr="int64">;
} <ocaml field_prefix="event_hook_metadata_">
Those two fields does not appear anymore in both event I have tested: push and
ping. I've also quick checked the documentation from other events, and those
two fields does not appear.
Maybe they can be consider as optional, or they should be deleted ?
I'm not really used to work with atd, but I may try to write a patch for it.
While receiving data from the GitHub event
push, we encounter two problemsduring the parsing of the event metadata.
Type problem while parsing the object
repositoryThere is an inconsistency coming from GitHub for two specifics fields:
pushed_atandcreated_at. The push event always sends the fieldspushed_atand
created_atas integers (EPOCH), instead of string values as expected fromthe atd file:
The documentation shows that both field must be consider as integers.
I took a quick look at others event payload, and the
pushevent seems to bethe only one where those fields are integers...
(The error is different from the issue #136)
Missing record fields created_at, id
The type
event_hook_metdataexpects two specifics field from the hook payload:created_atandid:Those two fields does not appear anymore in both event I have tested:
pushandping. I've also quick checked the documentation from other events, and thosetwo fields does not appear.
Maybe they can be consider as optional, or they should be deleted ?
I'm not really used to work with
atd, but I may try to write a patch for it.