Dismiss github repository

Thanks for sharing your great piece of software!

Since you switched to GitLab, can I suggest you to delete the old repo in github or put a note in evidence pointing to new repo on gitlab?

Because lot of people search for sw in github and they risk to work on outdated repository. Cheers