Closed t-rasmud closed 5 years ago
@t-rasmud When squashing pull requests, could you also edit the commit messages to something succinct and descriptive? https://github.com/typetools/checker-framework-inference/commit/0c7b7bef543e1e0e29fd83257d3a34a6cc23aa6b currently contains all the individual commit messages, which is not the overall most descriptive test. Thanks!
@t-rasmud When squashing pull requests, could you also edit the commit messages to something succinct and descriptive? https://github.com/typetools/checker-framework-inference/commit/0c7b7bef543e1e0e29fd83257d3a34a6cc23aa6b currently contains all the individual commit messages, which is not the overall most descriptive test. Thanks!