Pipa

• Getting started
• Features
• Legal
• Contact

The Pipa Index.

A Greasemonkey script inserts this little guy:

… onto pages of your choosing:

He will take you to the Pipa Index for that page:

Page isn’t in the Index? The Pipa is angry!

Do not be alarmed. He will invite you to create a new entry in the Pipa Index:

The columns in the Index are defined by you.

All changes are saved in an event log.

Getting started

This section is TODO, but I’m including it now to record things that will be useful for it.

Serving suggestion for “User matches”:

https://gitlab.com/*
https://dev.gitlab.org/*
https://github.com/*

Serving suggestion for “User excludes” (so you don’t get Pipa appearing in iframes):

https://gitlab.com/-/sandbox/mermaid*

Serving suggestion for “User domain whitelist” (to be used with a pipa.index entry in /etc/hosts):

pipa.index

Features

• Greasemonkey script to insert the Pipa on target pages.
• Link multiple URLs to a single entry to tie them together.
• Define columns for each entry; can also be used to sort.
• Add comments to entries; supports image attachments.
• All changes recorded in a per-entry event log.
• Supports gitlab.com and github.com for most activities:
  • Friendly display of URLs.
  • Cache MR/issue status via API.
• Columns and comments can refer to other entries, linked issues and MRs with shorthand reference syntax.

See TODO for what might come next.

Legal

Pipa is art by Rigatoni Garrido! You can buy Pipa merchandise! This use of the Pipa is totally unauthorised! I will most likely have to change the included artwork if anyone ever notices this!

Contact

@kivikakk on Slack if you’re tanuki, otherwise ashe@kivikakk.ee.