It's much more ergonomic and compact to use as an end user than a dedicated head... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		CharlieDigital on Nov 28, 2022 \| parent \| context \| favorite \| on: Enabling the Future of GitHub's REST API with API ... It's much more ergonomic and compact to use as an end user than a dedicated header, IMO.

dottedmag on Nov 29, 2022 [–]

Agreed, pragmatically a separate header is a dubious choice.

Semantically it is equivalent though.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact