PostgREST / pg_csv / 16818615245

push

github

feat: add header to csv_options

Adds the option to do:

```sql
select csv_agg(x, csv_options(header := false)) from projects x;
      csv_agg
-------------------
 1,Windows 7,1    +
 2,Windows 10,1   +
 3,IOS,2          +
 4,OSX,2          +
 5,Orphan,
(1 row)
```

14 of 15 new or added lines in 1 file covered. (93.33%)

97 of 100 relevant lines covered (97.0%)

131.48 hits per line