Kakoune: Add GitLab search to plugins listing on Kakoune webpage

[notramo]

Many projects has been moved to GitLab, and it has become more popular among developers.
A GitLab search at the Kakoune plugins listing page would be cool. One thing that prevents developers from using this platform is that it is less popular, so less people will know about their projects, although it provides more powerful tools.
For example, I have moved my Elvish, and Crystal language plugins to GitLab. (@TeddyDD, @cserb, @SolitudeSF) However, @alexherbo2 has also Crystal and Elvish language support projects, but my plugins are more powerful. The plugins listing page will only list @alexherbo2's projects. I have left a temporary note in my repos about the move, but I want to delete the repos, and use only the GitLab ones.

By the way, have you think about moving Kakoune to GitLab?

[lenormf]

I'll have a look at populating the page with Gitlab search results, it will all depend on how easy to use their API is.

I can't speak for the maintainer of the project, but I personally don't see any issues with leaving it here (or eventually simply mirror it on Gitlab). Why did you move to Gitlab?

[notramo]

They have more powerful and user friendly tools: better issue tracker, diff compare tool without opening merge requests, cleaner user interface, etc.
Also they have more ethical philosophy (e.g. the source code of the webpage is open).

[TeddyDD]

I'll be moving my personal projects (including Kakoune plugins) to Gitlab soon, so this would be welcome change

[lenormf]

According to the API documentation, the search endpoint doesn't allow looking for specific tags assigned to matching projects (it doesn't seem to be implemented at all in Gitlab). I can't narrow down the selection of projects related to Kakoune only to those that implement scripts, so I can't really do anything until that's possible on Gitlab's side.

[Delapouite]

There seems to be a GitLab issue about adding this to the platform: https://gitlab.com/gitlab-org/gitlab-ce/issues/13351

[Delapouite]

New ticket to follow about the project API https://gitlab.com/gitlab-org/gitlab-ce/issues/54401

[Delapouite]

The ticket above was closed in this merge request: https://gitlab.com/gitlab-org/gitlab-ce/merge_requests/24385

I'll try to have a look at this new API.

[lenormf]

I think those are Git tags, not project tags. The original issue remains open, and I don't see any changes in the documentation that would allow searching projects by project tags.