varia/bots
13
1
Fork 1
Code Issues 24 Releases Activity

logbot: write documentation on how to change the logbot that is running on the Varia server #37

New Issue
Open
opened 2023-03-10 18:52:05 +01:00 by mb · 1 comment
mb commented 2023-03-10 18:52:05 +01:00
Copy Link

There is something in the Readme file: https://git.vvvvvvaria.org/varia/bots#deploy-it-on-the-varia-server But it's not clear how changing the code in this repo connects to the bots that are running on the server.

Also: the git hooks seem to not work atm, so that is also something to look into.

There is something in the Readme file: https://git.vvvvvvaria.org/varia/bots#deploy-it-on-the-varia-server But it's not clear how changing the code in this repo connects to the bots that are running on the server. Also: the git hooks seem to not work atm, so that is also something to look into.
mb commented 2023-03-17 12:33:57 +01:00
Author
Copy Link

The git hooks are not working because of a permission error it seems:

The git hooks are not working because of a permission error it seems:
Screenshot from 2023-03-17 12-32-59.png
104 KiB
Screenshot from 2023-03-17 12-32-44.png
107 KiB
Screenshot from 2023-03-17 12-32-59.png Screenshot from 2023-03-17 12-32-44.png
Sign in to join this conversation.
No Branch/Tag Specified
Branches Tags
Labels
Clear labels
No items
No Label
Milestone
Clear milestone
No items
No Milestone
Assignees
Clear assignees
No Assignees
1 Participants
Notifications
Due Date
The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: varia/bots#37
No description provided.
Delete Branch "%!s()"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?