From 281fae2f82ad84cd0a7f0658e174c4ad0d0197a1 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 974d205807a938c4c1aa4ab22e5c6b9825b7e626 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 9bad4e88c38801b94e6a87340985ebb519e2ae3f 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() {