darcs_buildbot.py ignores file moves

[warner]

When a tree is modified by using 'darcs mv' (which renames a file), the change that darcs_buildbot.py sends doesn't trigger a new build. I suspect this is because it doesn't include any filenames. (it is probably only looking for file modifications, not renames).

This should be fixed, either to include both the source and destination filenames (which could get pretty tricky for directories), or to have the Schedulers always pay attention to Changes that don't have any filenames in them.

[warner]

Fixed by [8a159333afe5401ab3aaae6457d36490292c05f0] : I changed the darcs_buildbot.py script to include the target filename of a rename operation in the resulting Change object.