Yay, mongodb is up again!

LGTM; thanks for the work!

Pavel

On Fri, Aug 11, 2023 at 12:37 PM Jarek Prokop <jprokop@redhat.com> wrote:

Hi all,

it was some time since the last update but I finally got cycles to merge PRs and build the site.

The following pages were updated:
  * https://developer.stg.fedoraproject.org/start/sw/web-app/about.html
  * https://developer.stg.fedoraproject.org/tech/database/mongodb/about.html
  * https://developer.stg.fedoraproject.org/tech/database/sqlite/about.html
  * https://developer.stg.fedoraproject.org/tech/languages/ocaml/dune.html
  * https://developer.stg.fedoraproject.org/tech/languages/ocaml/ocaml-installation.html
  * https://developer.stg.fedoraproject.org/tech/languages/python/sphinx.html
  * https://developer.stg.fedoraproject.org/tech/languages/ruby/gems-installation.html
  * https://developer.stg.fedoraproject.org/tech/languages/ruby/ruby-installation.html

I will review it later today and merge it into prod next monday at the latest with the accompanying wider email that will include the list devel@l.fp.o
and with an overview of the merged PRs.

Regards,
Jarek Prokop

_______________________________________________
Developer-portal mailing list -- developer-portal@lists.fedoraproject.org
To unsubscribe send an email to developer-portal-leave@lists.fedoraproject.org
Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/
List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines
List Archives: https://lists.fedoraproject.org/archives/list/developer-portal@lists.fedoraproject.org
Do not reply to spam, report it: https://pagure.io/fedora-infrastructure/new_issue