Mention the availability of public in compat 3.47

[LilithHafner]

Depends on #808

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Comparison is base (d687917) 92.83% compared to head (6f1a62b) 92.83%.

Additional details and impacted files

@@           Coverage Diff           @@
##           master     #809   +/-   ##
=======================================
  Coverage   92.83%   92.83%           
=======================================
  Files           2        2           
  Lines         335      335           
=======================================
  Hits          311      311           
  Misses         24       24           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[lgoettgens]

The mentioned release somehow doesn't show up in the list of releases.

[martinholters]

From the TagBot job:

[email protected]: Permission denied (publickey).

Maybe some repo admin could check whether the DOCUMENTER_KEY secret is set up correctly and matches a key configured for this repo? (The name is a bit misleading, maybe we want to change it to TAGBOT_KEY while at it and adjust TagBot.yml accordingly?)

[KristofferC]

There is a DOCUMENTER_KEY key setup at least. Reading through https://github.com/JuliaRegistries/TagBot#setup it seems we should have everything that is needed..