git.gnu.io has moved to IP address 18.104.22.168 -- please double check where you are logging in.
addTags return True if any tags were added, False if no tag was added.
removeTag return True if tag was removed, False if not.
Attach a file by drag & drop or click to upload
git.gnu.io is graciously hosted by the Free Software Foundation. https://donate.fsf.org