From 1ada3fc52238280d214c1378a2f3a557e0226379 Mon Sep 17 00:00:00 2001 From: Thomas Hallgren Date: Thu, 29 Jun 2017 14:51:27 +0200 Subject: [PATCH 1/3] gf.cabal: update the source repository to point to the GitHub repository --- gf.cabal | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/gf.cabal b/gf.cabal index 966153d1c..669035a92 100644 --- a/gf.cabal +++ b/gf.cabal @@ -42,10 +42,13 @@ data-files: tools/gf.el www/translator/*.css www/translator/*.js -source-repository head - type: darcs - location: http://www.grammaticalframework.org/ +--source-repository head +-- type: darcs +-- location: http://www.grammaticalframework.org/ +source-repository head + type: git + location: https://github.com/GrammaticalFramework/GF.git flag interrupt Description: Enable Ctrl+Break in the shell From 366f75d78afd9e3c6acc82b56ca2b8f9ee5a9e06 Mon Sep 17 00:00:00 2001 From: Thomas Hallgren Date: Thu, 29 Jun 2017 15:15:52 +0200 Subject: [PATCH 2/3] index.html: a quick news item about the move to GitHub --- index.html | 1 + 1 file changed, 1 insertion(+) diff --git a/index.html b/index.html index 51954f730..7d474c81f 100644 --- a/index.html +++ b/index.html @@ -119,6 +119,7 @@ document.write('
GitHub! 2017-03-13:GF Summer School in Riga (Latvia), 14-25 August 2017 Summer School web page. From ff82b0980bc7912ab8d79ebc4428c87e58109f2d Mon Sep 17 00:00:00 2001 From: Thomas Hallgren Date: Thu, 29 Jun 2017 17:27:36 +0200 Subject: [PATCH 3/3] Link to the issue tracker on GitHub --- index.html | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/index.html b/index.html index 7d474c81f..182033787 100644 --- a/index.html +++ b/index.html @@ -46,7 +46,8 @@ function sitesearch() {