Closed sschleemilch closed 3 weeks ago
MoM: Please review
Any findings? If not, mergy merge? :octocat:
Any findings? If not, mergy merge? :octocat:
Unless a PR is trivial we typically give people a week for reviewing, i.e. announcing at one VSS Tuesday meeting, and then taking a merge decision at the next, or the day before if there is nothing reported. For larger ones possibly even longer review time.
In this case (as it is quite technical) i do not think discussing it again at next meeting makes sense, but I will wait until Monday to see if anyone has any objections.
Any findings? If not, mergy merge? :octocat:
Unless a PR is trivial we typically give people a week for reviewing, i.e. announcing at one VSS Tuesday meeting, and then taking a merge decision at the next, or the day before if there is nothing reported. For larger ones possibly even longer review time.
In this case (as it is quite technical) i do not think discussing it again at next meeting makes sense, but I will wait until Monday to see if anyone has any objections.
Okay, I thought this one's pretty trivial but all good
The weekend has passed and no-one has filed any additional comments. Looks good to me, merging so that you can rebase the other PR.
About
Using rich as logging formatter for readability.
Before:
After:
Also added an direnv config for python3. Added gitignore entry accordingly