Closed kostmo closed 4 years ago
Currently, the GitHub API is used to compute merge bases, whereas this could be an instantaneous local operation.
A separate webapp should be dedicated to the care and feeding of the repo clone.
Created http://gadgit.pytorch.org/
Currently, the GitHub API is used to compute merge bases, whereas this could be an instantaneous local operation.
A separate webapp should be dedicated to the care and feeding of the repo clone.