Processed: user www.debian.org@packages.debian.org, usertagging 757943, tagging 607193 ..., usertagging 739934 ...
Processing commands for control@bugs.debian.org:
> user www.debian.org@packages.debian.org
Setting user to www.debian.org@packages.debian.org (was taffit@debian.org).
> usertags 757943 content devel
There were no usertags set.
Usertags are now: content devel.
> tags 607193 + patch
Bug #607193 [www.debian.org] document/link to non official images including non-free firmware
Ignoring request to alter tags of bug #607193 to the same tags previously set
> reassign 740926 cloud.debian.org
Bug #740926 [cloud.debian.org] www.debian.org: Link to public cloud providers Debian images/info from /distrib/ (or from /cloud/ with generic cloud description on /distrib/)?
Bug #695681 [cloud.debian.org] document available cloud options under www.debian.org/distrib/
Bug #712690 [cloud.debian.org] Add official Debian Cloud images to www.d.o/distrib/
Ignoring request to reassign bug #740926 to the same package
Ignoring request to reassign bug #695681 to the same package
Ignoring request to reassign bug #712690 to the same package
> forcemerge 695681 740926
Bug #695681 [cloud.debian.org] document available cloud options under www.debian.org/distrib/
Bug #712690 [cloud.debian.org] Add official Debian Cloud images to www.d.o/distrib/
Bug #740926 [cloud.debian.org] www.debian.org: Link to public cloud providers Debian images/info from /distrib/ (or from /cloud/ with generic cloud description on /distrib/)?
Bug #712690 [cloud.debian.org] Add official Debian Cloud images to www.d.o/distrib/
Bug #740926 [cloud.debian.org] www.debian.org: Link to public cloud providers Debian images/info from /distrib/ (or from /cloud/ with generic cloud description on /distrib/)?
Merged 695681 712690 740926
> severity 685772 wishlist
Bug #685772 [www.debian.org] www.debian.org: Please clarify official/unofficial status of resources under http://www.debian.org/support
Ignoring request to change severity of Bug 685772 to the same value.
> usertags 739934 packages
There were no usertags set.
Usertags are now: packages.
> usertags 721283 content
There were no usertags set.
Usertags are now: content.
> usertags 721215 doc content
There were no usertags set.
Usertags are now: content doc.
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
607193: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=607193
685772: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=685772
695681: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=695681
712690: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=712690
721215: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=721215
740926: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=740926
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: