Closed plata closed 3 years ago
As explained in #1233, this should not be the final solution. However, it will work for the meantime while not too many PRs must be handled in parallel.
Shouldn't the docs folder be excluded?
docs
As explained in #1233, this should not be the final solution. However, it will work for the meantime while not too many PRs must be handled in parallel.