Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.
Sign upOn-demand (or scheduled) re-sync #283
Comments
mdchia
added
bug
enhancement
labels
Feb 4, 2019
This comment has been minimized.
This comment has been minimized.
I am sadly lacking a server to do so atm. I just resynced it though, hope that helps! |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
cjchristopher commentedFeb 1, 2019
Rather than explicit requests or monitoring for resynchronisation, it might be worth automating it (once a day? week?), at least (especially) until semesters start in earnest.
Side note - current state as of 01/02/19 is out of date.