From bb8ed44f0da821e692bba1dee57e3a4bb3a01b9e Mon Sep 17 00:00:00 2001
From: Jan Wagner <waja@cyconet.org>
Date: Fri, 4 Dec 2020 13:02:45 +0100
Subject: [PATCH] d/s/option: drop travis and add github ignore

---
 debian/source/options | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/debian/source/options b/debian/source/options
index a729099..e84d385 100644
--- a/debian/source/options
+++ b/debian/source/options
@@ -1 +1 @@
-extend-diff-ignore = '^\.travis'
+extend-diff-ignore = '^\.github'