Skip to content

Infrastructure: Update bundled IRE mapper script to latest upstream#5783

Merged
vadi2 merged 1 commit intodevelopmentfrom
update-ire-mapping-script-3291eb2ea48a28bce4b4a4c282cd32d6b5ff4609
Dec 24, 2021
Merged

Infrastructure: Update bundled IRE mapper script to latest upstream#5783
vadi2 merged 1 commit intodevelopmentfrom
update-ire-mapping-script-3291eb2ea48a28bce4b4a4c282cd32d6b5ff4609

Conversation

@mudlet-machine-account
Copy link
Copy Markdown
Contributor

Brief overview of PR changes/additions

👑 An automated PR to update the IRE mapper script to the latest version.

Motivation for adding to Mudlet

So people don't get attacked with a "your mapping script is out of date!" notification as soon as they create a profile for a new IRE game.

Other info (issues closed, discussion etc)

update triggered by refs/heads/development 3291eb2

@mudlet-machine-account mudlet-machine-account requested a review from a team December 24, 2021 00:32
@add-deployment-links
Copy link
Copy Markdown

add-deployment-links bot commented Dec 24, 2021

Hey there! Thanks for helping Mudlet improve. 🌟

Test versions

You can directly test the changes here:

No need to install anything - just unzip and run.
Let us know if it works well, and if it doesn't, please give details.

@github-actions
Copy link
Copy Markdown
Contributor

Messages
✔️

PR type: Infrastructure

Generated by 🚫 dangerJS against 42a1c4b

@vadi2 vadi2 merged commit 7e03feb into development Dec 24, 2021
@vadi2 vadi2 deleted the update-ire-mapping-script-3291eb2ea48a28bce4b4a4c282cd32d6b5ff4609 branch December 24, 2021 09:13
@vadi2 vadi2 added this to the 4.15.0 milestone Jan 11, 2022
vadi2 pushed a commit to SlySven/Mudlet that referenced this pull request Jan 17, 2022
Co-authored-by: mudlet-machine-account <mudlet-machine-account@users.noreply.github.com>
SlySven added a commit to SlySven/Mudlet that referenced this pull request Jan 25, 2022
This error was introduced in the original "load/save Maps as JSON" PR,
Mudlet#4546 ...!

Also include a check for transparency - as a recent PR Mudlet#5783 added the
option for that to both the fore and background colours of map labels.

Signed-off-by: Stephen Lyons <slysven@virginmedia.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants