Remove obsolete AppVeyor and Travis-CI config files

[fingolfin]

No description provided.

[fingolfin]

Is anyone maintaining this? @rfourquet perhaps?

[ViralBShah]

Just noticed this.

[fingolfin]

Thanks @ViralBShah maybe you can also merge #16 ?

[rfourquet]

I'm not ready to merge #16, let me look into it first.

[ViralBShah]

Just a note - Appveyor and Travis were already disconnected from the org's marketplace - so this was mainly to remove old unused files.

[ViralBShah]

@rfourquet I have invited @fingolfin to this org, so that we can have an extra pair of hands to fix some regular maintenance issues.

[rfourquet]

Sounds good! yes Removing AppVeyor and Travis was good, it's just for enabling CodeCov (#16) that I want to look closer first.

[fingolfin]

@rfourquet of course

[fingolfin]

Thanks @ViralBShah, I've accepted the invitation, though I don't see any difference in access (and so e.g. I can't merge PRs, not even apply labels to them). Not complaining, though, it seems @rfourquet is quite active now -- thanks Rafael!

[rfourquet]

No pb, yes I've neglected updates to the repo, but RandomExtensions is very much not dead, I've a bunch of local changes, which just need some free time to be cleaned up. I think the most useful coming change is to split apart pirating and non-pirating stuff in distinct packages, so that useful stuff from RandomExtensions can be used without relying on a pirating package.

[ViralBShah]

@fingolfin I have given you ownership of the org. Ideally we should probably have something between member and owner (teams with commit access - but this org is small enough that it should be ok for now).

[fingolfin]

Thanks @ViralBShah. That's of course the highest possible access level. I've used it to install the Codecov app, and will look into making that work. Of course if it is deemed that restriction access to fewer people is better, I won't complain if that access level is reduced.