Vladimir Jimenez

Results 73 issues of Vladimir Jimenez

Greetings! If you've landed in this PR, then you've been linked to it by me, notified about it because you're watching this repo, or you're incredibly curious about what the...

For anyone curious and before anyone asks, highlight.php 10.x/11.x is planned ~~and development will start in the coming weeks~~. I first need to finish off my semester and a few...

administrative

``` -{"status": "ok", "extended": true} -' +{"status": "ok", "extended": true}' ``` Looks like your sublanguage support is maybe broken somehow? Perhaps you don't support auto-detect of sublanguages? HTTP is a...

highlight.js has 3rd-party languages that come in the format of external repositories. There is no standard repository format for said languages at the moment, see https://github.com/highlightjs/highlight.js/issues/2328. - [ ] ~~https://github.com/highlightjs/highlight-cobol~~...

enhancement

I want to propose adding support for compiling templates without needing files. An example use case would be something along the lines of this, ```yaml - id: pr-message name: Create...

I have gotten permission from the following contributors who have participated in the development of this project significantly to transfer copyright of the project to "BZFlag & Associates". Along with...

discussion

Allow admins to modify player callsigns on the site. **Use Case:** Player changes their name to something inappropriate, admins have no way of rectifying that issue

enhancement
back-end
low priority

~~Shame on me for deciding to sneak in such a *huge* change to BZiON's core in a planned point release... 😅 BUT [Deeeeeeeeploy Jenkins!](https://twitter.com/starsandrobots/status/954549424230866944)~~ _This PR has been reassigned to...

in progress
back-end

Currently, they're not being used on the production website but I don't want to necessarily kill it off either. Messages (and I think notifications) make use sockets so let's make...

under consideration
discussion

| Method | Target | | --- | --- | | `GET` | `/api/bans` | | `GET` | `/api/bans/{id}` | | `POST` | `/api/bans` | | `GET` | `/api/matches` |...

enhancement
back-end
api