From b1536be77f52236c9e64ac2f1309fc16cb83dadf Mon Sep 17 00:00:00 2001
From: Olivier Grisel <olivier.grisel@ensta.org>
Date: Tue, 3 Dec 2019 16:47:25 +0100
Subject: [PATCH] MAINT remove placehold github actions workflow

This is no longer needed since we now have a "real" workflow, that is
the twitter workflow.
---
 .github/workflows/activate.yml | 21 ---------------------
 1 file changed, 21 deletions(-)
 delete mode 100644 .github/workflows/activate.yml

diff --git a/.github/workflows/activate.yml b/.github/workflows/activate.yml
deleted file mode 100644
index f6aede6289ebf..0000000000000
--- a/.github/workflows/activate.yml
+++ /dev/null
@@ -1,21 +0,0 @@
-# Simple first task to activate GitHub actions.
-# This won't run until is merged, but future actions will
-# run on PRs, so we can see we don't break things in more
-# complex actions added later, like real builds.
-#
-# TODO: Remove this once another action exists
-name: Activate
-
-on:
-  push:
-    branches: master
-  pull_request:
-    branches: master
-
-jobs:
-  activate:
-    name: Activate actions
-    runs-on: ubuntu-latest
-    steps:
-    - name: Activate
-      run: echo "GitHub actions ok"