ci: Release scripts [skip ci]

# [1.5.0](v1.4.12...v1.5.0) (2023-04-07) ### Features * **connected-users:** stream API users ([#614](#614)) ([3b3e30e](3b3e30e))
mjpieters · Apr 7, 2023 · 6273e19 · 6273e19
1 parent 3b3e30e
commit 6273e19
Show file tree

Hide file tree

Showing 4 changed files with 5 additions and 5 deletions.
diff --git a/dist/bookmark-users.meta.js b/dist/bookmark-users.meta.js
@@ -1,7 +1,7 @@
 // ==UserScript==
 // @name        Bookmark Users
 // @description Shows what user bookmarked a question. Fetches the bookmarking users from the StackExchange data explorer (data can be up to a week old)
-// @version     1.4.12
+// @version     1.5.0
 // @author      Martijn Pieters
 // @homepage    https://github.com/mjpieters/SO-userscripts/tree/main/scripts/bookmark-users
 // @supportURL  https://github.com/mjpieters/SO-userscripts/issues?q=is:issue+is%3Aopen+label:bookmark-users

diff --git a/dist/bookmark-users.user.js b/dist/bookmark-users.user.js
diff --git a/dist/connected-users.meta.js b/dist/connected-users.meta.js
@@ -1,7 +1,7 @@
 // ==UserScript==
 // @name        Connected Users
 // @description **Moderator-only**. Hightlights users in the IP cross section view that overlap in time
-// @version     1.4.12
+// @version     1.5.0
 // @author      Martijn Pieters
 // @homepage    https://github.com/mjpieters/SO-userscripts/tree/main/scripts/connected-users
 // @supportURL  https://github.com/mjpieters/SO-userscripts/issues?q=is:issue+is%3Aopen+label:connected-users

diff --git a/dist/connected-users.user.js b/dist/connected-users.user.js