Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Manually execute website update #10

Open
f0086 opened this issue Aug 18, 2011 · 1 comment
Open

Manually execute website update #10

f0086 opened this issue Aug 18, 2011 · 1 comment

Comments

@f0086
Copy link
Collaborator

f0086 commented Aug 18, 2011

If someone makes a commit in the git repository (not from the website), the website itself doesn't update it instantly. A button or something ales to update the website is needed.
@ydkn
Copy link
Owner

ydkn commented Aug 21, 2011

Locally cached data is now flushed after pull from repository.

Should be optimized so only deprecated data is flushed from cache after pull.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@f0086 @ydkn