699214 – commits to devmanual repo not propagating to website

Bug 699214 - commits to devmanual repo not propagating to website

Summary: commits to devmanual repo not propagating to website

Status:	RESOLVED FIXED

Alias:	None

Product:	Documentation
Classification:	Unclassified
Component:	Devmanual (show other bugs)
Hardware:	All Linux

Importance:	Normal normal (vote)
Assignee:	Gentoo Devmanual Team

URL:
Whiteboard:
Keywords:

Depends on:
Blocks:

Reported:	2019-11-03 08:01 UTC by Wim Muskee
Modified:	2019-11-05 14:14 UTC (History)
CC List:	2 users (show)

See Also:
Package list:
Runtime testing required:	---

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.

Description Wim Muskee 2019-11-03 08:01:42 UTC

Commits after Oct 16, 2019 to https://github.com/gentoo/devmanual.gentoo.org have not propagated to the https://devmanual.gentoo.org website.

Compare for instance: https://github.com/gentoo/devmanual.gentoo.org/commit/988392156daae34427906e98609d1dd1fe4970a5 with page at: https://devmanual.gentoo.org/general-concepts/mirrors/index.html

Comment 1 Göktürk Yüksek archtester

2019-11-05 01:07:54 UTC

Nothing much we can do here as the devmanual team. CC'ing @infra.

Comment 2 Brian Evans (RETIRED) gentoo-dev

2019-11-05 14:14:09 UTC

Looks OK now.  Probably stuck in some cache as I doubt there was any manual intervention.