feat(site): add discord widget section with community logo (#15) #14

	name: Todo Checker

	on:
	# Run this workflow on push to main
	push:
	branches:
	- main

	# Restrict default token; elevate only on the job that opens/updates issues.
	permissions:
	contents: read

	jobs:
	todo:
	runs-on: ubuntu-latest

	permissions:
	contents: write
	issues: write
	pull-requests: write

	steps:
	- name: Begin CI...
	uses: actions/checkout@v4

	- name: TODO to Issue
	uses: alstr/todo-to-issue-action@v5.1.10
	id: todo
	with:
	INSERT_ISSUE_URLS: 'true'
	CLOSE_ISSUES: 'true'

	- name: Set Git user
	run: \|
	git config --global user.name "github-actions[bot]"
	git config --global user.email "github-actions[bot]@users.noreply.github.com"

	- name: Commit and Push Changes
	run: \|
	git add -A
	if [[ $(git status --porcelain) ]]; then
	git commit -m "Automatically added GitHub issue links to TODOs"
	git push origin main
	else
	echo "No changes to commit"
	fi

Navigation Menu