Update repo-conf

[Marenz]

• Update repo-config to 0.12.3
• Update to repo-config 0.13.1

[Marenz]

WIP, ci is failing with stuff such as

nox > mypy
py/frequenz/api/common/v1/types/decimal_pb2.pyi:13: error: Skipping analyzing "google": module is installed, but missing library stubs or py.typed marker  [import-untyped]
py/frequenz/api/common/v1/types/decimal_pb2.pyi:20: error: Class cannot subclass "Message" (has type "Any")  [misc]
py/frequenz/api/common/v1/streaming/streaming_event_pb2.pyi:13: error: Skipping analyzing "google": module is installed, but missing library stubs or py.typed marker  [import-untyped]
py/frequenz/api/common/v1/streaming/streaming_event_pb2.pyi:29: error: Class cannot subclass value of type "Any"  

[Marenz]

Actually, CI is failing differenttly XD but my bug above is also a problem

[Marenz]

Correction, apparently the quoted error is just locally, where as the CI is a protolint not found issue

[Marenz]

I suspect someone needs to update the reuqired ci check settings? I don't have access, @llucax maybe?

[llucax]

Will do after the review

[llucax]

Oh, damn, you forgot to bump the dependencies to v0.13.1 in pyproject.toml in the second commit.

[Marenz]

Me? You mean the migration script! 😆

[llucax]

Me? You mean the migration script! 😆

Yeah, that could be an addition to the migration script, I also found myself saying "why am I doing this manually" :D

At first I thought about the migration script to be something to run on top of the dependabot PR, but since the dependabot PR had 15 other updates in it (which should be solved now), I started to do a separate PR for this upgrade. Hopefully for the next upgrade we can just push the migration script results to the dependabot PR and that it.

In a not so distant future we can have a github action running the migration script for us and showing any manual steps in the action run summary, so can review it and only have to push the manual fixes, and then we get the github action using a LLM to actually do the manual steps for us 🤖