Mike McQuaid eb1b244fd2
update-report: better handle user set bottle domain, core git remote.
Unset these variables and print a warning if they were set to
non-default values.
2021-10-21 15:01:58 +01:00
..
2020-10-29 20:39:49 +11:00
2020-10-10 14:59:39 +02:00
2021-10-19 15:15:56 +01:00
2021-09-11 01:00:23 +01:00
2020-10-10 14:59:39 +02:00