[savannah-help-public] [sr #110060] gnuzilla bug tracker missing

URL: Summary: gnuzilla bug tracker missing Project: Savannah Administration Submitted by: mikegerwitz Submitted on: Tue 15 Oct 2019 12:26:46 AM EDT Category: Savannah trackers

[savannah-help-public] [sr #109104] Add Git 'update' hook for Guix repositories

Follow-up Comment #4, sr #109104 (project administration): Unfortunately, this hook can be easily defeated. Here's some example output from the current tip of master: $ git cat-file -p HEAD tree c65e675351fe76b2630df24eddcb2449774eb344 parent e87c7ec2de815f05d7a84e2792e2da700bb26a38 author Leo

[savannah-help-public] [sr #108460] ease.js: git push --force

Follow-up Comment #3, sr #108460 (project administration): Thanks, Bob---this is taken care of; master is up-to-date and I was able to push to the website branch successfully. > people have tried to suppress previously released source code > in this way. This is specifically disabled due to this

[savannah-help-public] [sr #108460] ease.js: git push --force

Follow-up Comment #1, sr #108460 (project administration): Sorry---this will need to be done with the website branch as well. ___ Reply to this item at: _

[savannah-help-public] [sr #108460] ease.js: git push --force

URL: Summary: ease.js: git push --force Project: Savannah Administration Submitted by: mikegerwitz Submitted on: Mon 23 Dec 2013 08:38:30 PM EST Category: Web Source Code Repositor