Felipe Contreras

A specific sequence of events might trigger the synchronization issue: 1) The branch must be open when importing 2) The branch gets closed 3) Git's gc is run 4) A...

This project doesn't seem very active, and I created a much improved version of this that uses GitHub Pages and coded diagrams, so I think the efforts should be concentrated...

Update rouge theme

1

This updates the rouge's github theme and adds a couple fixes to use the theme properly.