Bot Dashboard

Loading...

Bot Dashboard

Editor Pull Requests Wiki

admin Pull Requests

Data Editor

Staged (0)

Files

Pick a file to start editing.

staged

Sample file

Choose file No file selected.

Wiki

Entries

Pick an entry to read.

Filename

Pull Requests

Your open pull requests. "Edit" re-stages a PR's files into the Editor; anything you submit while editing goes back to that PR's branch.

You have no open pull requests.

Close pull request?

This closes and deletes its branch. This can't be undone.

Delete wiki entry?

This permanently removes from disk. Images in wiki/assets/ are kept.

Create wiki entry

Entry name (filename without .md)

Path preview wiki/<name>.md

File changed on remote

One or more files you edited changed on main since you loaded them. Pick a resolution for each.

Create new file

Type

Category (folder)

Kind

Scope

Filename

Path preview (fill in fields)

Submit Pull Request

Add a description of what you changed. It goes into the PR body.

Force merge (merge the PR immediately)