[Aide] AIDE has been moved to GitHub

[Marc Haber]

On Wed, Feb 27, 2019 at 06:13:52AM +0100, Hannes von Haugwitz wrote:
> The existing tickets on SourceForge will be migrated within the next
> weeks, if they are still valid. If you have any open AIDE ticket you can
> help by closing the SourceForge ticket and opening a new GitHub issue if
> it needed.

I moved/copied patches and feature requests. Didn't have the time to
sift through the bugs though.

You might need to close the sourceforge issues yourself (I didn't find
out how to do that), and I am possibly missing the privileges to slap
the appropriate labels on the new github issues

Greetings
Marc

-- 
-----------------------------------------------------------------------------
Marc Haber         | "I don't trust Computers. They | Mailadresse im Header
Leimen, Germany    |  lose things."    Winona Ryder | Fon: *49 6224 1600402
Nordisch by Nature |  How to make an American Quilt | Fax: *49 6224 1600421