[Savannah-hackers-public] [task #15539] Change libc website to git?

2020-02-03 Thread Carlos O'Donell
URL: Summary: Change libc website to git? Project: Savannah Administration Submitted by: codonell Submitted on: Mon 03 Feb 2020 04:12:53 PM UTC Should Start On: Mon 03 Feb 2020 12:00:00

[Savannah-hackers-public] Savannah website synchronization script broken and potential workarounds.

2016-02-22 Thread Carlos O'Donell
Dear Savannah Hackers, and GNU.org sysadmins, In the public ticket 108855 I raise the issue that the synchronization script between Savannah and the GNU.org website is broken. https://savannah.gnu.org/support/index.php?108855 Every 6 months for a glibc update we remove the old manual, build a