search

predis-h2020 / metadata

0 stars 0 forks source link

public repository #7

Closed joergfunger closed 1 year ago

joergfunger commented 1 year ago

Shouldn't we make that repo public? That would allow us (besides having the information being accessible to everyone) to use advanced features in github (e.g. branch protection rules requiring a review before allowing to merge)

gdmiron commented 1 year ago

I am in favor of making it public.

gdmiron commented 1 year ago

Made it public.