Include search parameters in the exported JSON

[wolfenmark]

Hi,
I would find very useful to have the search parameters stored in the exported JSON. Not sure about other export formats but I suppose a similar approach would still apply.

Top level in JSON there is 'items'. Adding something like 'search parameters' at the same level could help in keeping the specifics close to the data (instead of relying on file renaming or just manual annotation). It would help in keeping track of the search criteria months after when a dataset pops out from a folder and I can't remember exactly the specifics of it.

[emadpres]

Hi,
This is a very interesting idea and surely we will do it. Probably, this is only doable for JSON format. (otherwise, we will break CSV and XML format)

[dabico]

Now supported, as of: 396a3bd

https://github.com/dabico/ghs/blob/396a3bd5d07d9513d9fbe3c6b43cad272731d419/src/main/java/usi/si/seart/gseapp/controller/GitRepoController.java#L332-L351