03 Change GitHub Pull Request Title
Channel: Mario Pietsch
Date: 2022-02-28

A short video how to change a GitHub pull request title

Give feedback: https://talk.tiddlywiki.org/t/use-tiddlywiki-to-contribute-to-the-tiddlywiki-documentation/2543
PR-Maker Intro at TiddlyTalk: https://talk.tiddlywiki.org/t/edit-documentation-in-tw-and-use-github-api-to-create-prs-directly/1273
Saq's PR creator edition: https://saqimtiaz.github.io/tw5-docs-pr-maker/