Learn more about these different git repos.
Other Git URLs
So far we discussed that we should have policy for: - doc string format - numeric IDs in every single table
Modified in PR#1246
Commit 682657d fixes this issue
Login to comment on this ticket.