Compare commits
merge into: entrouvert:main
entrouvert:main
entrouvert:wip/81376-jenkins-32
entrouvert:wip/68471-pylint
entrouvert:v1.10
entrouvert:v1.9
entrouvert:v1.8
entrouvert:v1.7
entrouvert:v1.6
entrouvert:v1.5
entrouvert:v1.4
entrouvert:v1.3
entrouvert:v1.2
entrouvert:v1.1
entrouvert:v1.0
entrouvert:v0.10
entrouvert:v0.9
entrouvert:v0.8
entrouvert:v0.7
entrouvert:v0.6
entrouvert:v0.5
entrouvert:v0.4
entrouvert:v0.3
entrouvert:v0.2
pull from: entrouvert:main
entrouvert:main
entrouvert:wip/81376-jenkins-32
entrouvert:wip/68471-pylint
entrouvert:v1.10
entrouvert:v1.9
entrouvert:v1.8
entrouvert:v1.7
entrouvert:v1.6
entrouvert:v1.5
entrouvert:v1.4
entrouvert:v1.3
entrouvert:v1.2
entrouvert:v1.1
entrouvert:v1.0
entrouvert:v0.10
entrouvert:v0.9
entrouvert:v0.8
entrouvert:v0.7
entrouvert:v0.6
entrouvert:v0.5
entrouvert:v0.4
entrouvert:v0.3
entrouvert:v0.2
These branches are equal. There is no need to create a pull request.