These are chat archives for Microsoft/CodeContracts

30th
Dec 2015
Micah Zoltu
@MicahZoltu
Dec 30 2015 02:53
Commits were made as recently as 11 days ago. I imagine it is just the holidays that is resulting in not much action: https://github.com/Microsoft/CodeContracts/commits/master
mcetkovsky
@mcetkovsky
Dec 30 2015 08:40
@Zoltu: Last commit was in November 20, not December 20.
Herman Eldering
@HermanEldering
Dec 30 2015 10:51
What would be required to get the error messages working again in vs2015? And is there any chance of having pull requests accepted? There already seems to be a backlog in the merging of pull requests.
Aleksandr Vishnyakov
@asvishnyakov
Dec 30 2015 13:04
@SergeyTeplyakov is busy, but developments isn't stopped. So if you can help project by creating pull request - do it.