eseiler

Remove Phantom Notifications on GitHub

This tool helps you clean up GitHub notifications from repositories that no longer exist ("phantom notifications"), which can clutter your notification feed.

The Node.js script comes from this GitHub Community discussion with minor modifications to console output.

Compatibility

• The Node.js script works on any platform that supports Node.js
• The integration shown in these instructions uses bash as the shell, but the concepts can be adapted to other shells (zsh, fish, etc.)

eseiler

From 5ba9423bc52b859ff91f779e4c86ac64f3450acd Mon Sep 17 00:00:00 2001
From: Enrico Seiler <eseiler@users.noreply.github.com>
Date: Tue, 4 Feb 2020 07:57:26 +0100
Subject: [PATCH 1/1] [DOC] Build updated 3.0.1 docs with doxygen-1.8.16

---
 include/seqan3/alphabet/all.hpp          | 22 ++++-----
 test/documentation/seqan3.css            | 24 +++++++---
 test/documentation/seqan3_doxygen_cfg.in |  3 ++
 test/documentation/seqan3_footer.html    | 23 +++++++++

eseiler

From 4ec15c81e2116c65e5d8ef85268e37a12f4eb77f Mon Sep 17 00:00:00 2001
From: Enrico Seiler <enrico.seiler@hotmail.de>
Date: Tue, 18 Feb 2020 08:45:40 +0100
Subject: [PATCH 1/1] [DOC] Build updated 3.0.0 docs with doxygen-1.8.14

---
 include/seqan3/alphabet/all.hpp          | 22 ++++-----
 test/documentation/seqan3.css            | 24 +++++++---
 test/documentation/seqan3_doxygen_cfg.in |  5 ++
 test/documentation/seqan3_footer.html    | 23 +++++++++

eseiler

i=0
j=0
s=""
while read line
do
    s=$s","$line
    ((i++))
    if [ $i -eq 200 ]
    then
        echo "Getting batch $j"