[#219830] DONE del=mediawiki-extensions-ReplaceText

[Girar Builder pender robot]

http://git.altlinux.org/tasks/archive/done/_214/219830/logs/events.1.2.log

2019-Jan-22 17:02:13 :: task #219830 for sisyphus started by viy:
#100 delete mediawiki-extensions-ReplaceText
2019-Jan-22 17:02:14 :: build check OK
2019-Jan-22 17:02:14 :: noarch check OK
2019-Jan-22 17:02:15 :: plan: src +0 -1 =18476, noarch +0 -1 =19010
2019-Jan-22 17:02:15 :: version check OK
2019-Jan-22 17:02:49 :: generated apt indices
2019-Jan-22 17:02:49 :: created next repo
2019-Jan-22 17:03:08 :: dependencies check OK
2019-Jan-22 17:03:08 :: gears inheritance check OK
2019-Jan-22 17:03:08 :: srpm inheritance check OK
girar-check-perms: access to mediawiki-extensions-ReplaceText ALLOWED for viy: project leader welcomes random builders
2019-Jan-22 17:03:08 :: acl check OK
2019-Jan-22 17:03:36 :: created contents_index files
2019-Jan-22 17:03:44 :: created hash files: noarch src
2019-Jan-22 17:03:45 :: task #219830 for sisyphus TESTED
2019-Jan-22 17:03:45 :: task is ready for commit
2019-Jan-22 17:03:51 :: repo clone OK
2019-Jan-22 17:03:51 :: packages update OK
2019-Jan-22 17:03:53 :: [noarch] update OK
2019-Jan-22 17:03:53 :: repo update OK
2019-Jan-22 17:04:07 :: repo save OK
2019-Jan-22 17:04:09 :: saved /gears/m/mediawiki-extensions-ReplaceText.git branch `sisyphus' as `old/sisyphus-task219830'
2019-Jan-22 17:04:15 :: removed /gears/m/mediawiki-extensions-ReplaceText.git branch `sisyphus'
2019-Jan-22 17:04:19 :: gears update OK
2019-Jan-22 17:04:19 :: ACL for old project `mediawiki-extensions-ReplaceText' removed
2019-Jan-22 17:04:19 :: task #219830 for sisyphus DONE