diff --git a/azure-function/function.json b/azure-function/function.json
deleted file mode 100644
index 219518231c..0000000000
--- a/azure-function/function.json
+++ /dev/null
@@ -1,19 +0,0 @@
-{
-    "bindings": [
-        {
-            "authLevel": "anonymous",
-            "type": "httpTrigger",
-            "direction": "in",
-            "name": "req",
-            "methods": [
-                "get",
-                "post"
-            ]
-        },
-        {
-            "type": "http",
-            "direction": "out",
-            "name": "res"
-        }
-    ]
-}
diff --git a/azure-function/index.js b/azure-function/index.js
deleted file mode 100644
index 8e5341a784..0000000000
--- a/azure-function/index.js
+++ /dev/null
@@ -1,179 +0,0 @@
-// @ts-check
-/*
- * This is the Azure Function backing the GitGitGadget GitHub App.
- *
- * As Azure Functions do not support Typescript natively yet, we implement it in
- * pure Javascript and keep it as simple as possible.
- *
- * Note: while the Azure Function Runtime v1 supported GitHub webhooks natively,
- * via the "webHookType", we want to use v2, so we have to do the payload
- * validation "by hand".
- */
-const crypto = require('crypto');
-const https = require('https');
-
-const validateGitHubWebHook = (context) => {
-    const secret = process.env['GITHUB_WEBHOOK_SECRET'];
-    if (!secret) {
-        throw new Error('Webhook secret not configured');
-    }
-    if (context.req.headers['content-type'] !== 'application/json') {
-        throw new Error('Unexpected content type: ' + context.req.headers['content-type']);
-    }
-    const signature = context.req.headers['x-hub-signature'];
-    if (!signature) {
-        throw new Error('Missing X-Hub-Signature');
-    }
-    const sha1 = signature.match(/^sha1=(.*)/);
-    if (!sha1) {
-        throw new Error('Unexpected X-Hub-Signature format: ' + signature);
-    }
-    const computed = crypto.createHmac('sha1', secret).update(context.req.rawBody).digest('hex');
-    if (sha1[1] !== computed) {
-        throw new Error('Incorrect X-Hub-Signature');
-    }
-}
-
-const triggerAzurePipeline = async (token, organization, project, buildDefinitionId, sourceBranch, parameters) => {
-    const auth = Buffer.from('PAT:' + token).toString('base64');
-    const headers = {
-        'Accept': 'application/json; api-version=5.0-preview.5; excludeUrls=true',
-        'Authorization': 'Basic ' + auth,
-    };
-    const json = JSON.stringify({
-        'definition': { 'id': buildDefinitionId },
-        'sourceBranch': sourceBranch,
-        'parameters': JSON.stringify(parameters),
-    });
-    headers['Content-Type'] = 'application/json';
-    headers['Content-Length'] = Buffer.byteLength(json);
-
-    const requestOptions = {
-        host: 'dev.azure.com',
-        port: '443',
-        path: `/${organization}/${project}/_apis/build/builds?ignoreWarnings=false&api-version=5.0-preview.5`,
-        method: 'POST',
-        headers: headers
-    };
-
-    return new Promise((resolve, reject) => {
-        const handleResponse = (res, err) => {
-            res.setEncoding('utf8');
-            var response = '';
-            res.on('data', (chunk) => {
-                response += chunk;
-            });
-            res.on('end', () => {
-                resolve(JSON.parse(response));
-            });
-            res.on('error', (err) => {
-                reject(err);
-            })
-        };
-
-        const request = https.request(requestOptions, handleResponse);
-        request.write(json);
-        request.end();
-    });
-}
-
-module.exports = async (context, req) => {
-    try {
-        validateGitHubWebHook(context);
-    } catch (e) {
-        context.log('Caught ' + e);
-        context.res = {
-            status: 403,
-            body: 'Not a valid GitHub webhook: ' + e,
-        };
-        context.done();
-        return;
-    }
-
-    try {
-        /*
-         * The Azure Pipeline needs to be installed as a PR build on _the very
-         * same_ repository that triggers this function. That is, when the
-         * Azure Function triggers GitGitGadget for gitgitgadget/git, it needs
-         * to know that pipelineId 3 is installed on gitgitgadget/git, and
-         * trigger that very pipeline.
-         *
-         * So whenever we extend GitGitGadget to handle another repository, we
-         * will have to add an Azure Pipeline, install it on that repository as
-         * a PR build, and add the information here.
-         */
-        const pipelines = {
-            'dscho': 12,
-            'git': 13,
-            'gitgitgadget': 3,
-        };
-
-        const eventType = context.req.headers['x-github-event'];
-        context.log(`Got eventType: ${eventType}`);
-        const repositoryOwner = req.body.repository.owner.login;
-        if (pipelines[repositoryOwner] === undefined) {
-            context.res = {
-                status: 403,
-                body: 'Refusing to work on a repository other than gitgitgadget/git or git/git'
-            };
-        } else if ((new Set(['check_run', 'status']).has(eventType))) {
-            context.res = {
-                body: `Ignored event type: ${eventType}`,
-            };
-        } else if (eventType === 'issue_comment') {
-            const triggerToken = process.env['GITGITGADGET_TRIGGER_TOKEN'];
-            if (!triggerToken) {
-                throw new Error('No configured trigger token');
-            }
-
-            const comment = req.body.comment;
-            const prNumber = req.body.issue.number;
-            if (!comment || !comment.id || !prNumber) {
-                context.log(`Invalid payload:\n${JSON.stringify(req.body, null, 4)}`);
-                throw new Error('Invalid payload');
-            }
-
-            /* GitGitGadget works on dscho/git only for testing */
-            if (repositoryOwner === 'dscho' && comment.user.login !== 'dscho') {
-                throw new Error(`Ignoring comment from ${comment.user.login}`);
-            }
-
-            /* Only trigger the Pipeline for valid commands */
-            if (!comment.body || !comment.body.match(/^\/(submit|preview|allow|disallow|test|cc)\b/)) {
-                context.res = {
-                    body: `Not a command: '${comment.body}'`,
-                };
-                context.done();
-                return;
-            }
-
-            const sourceBranch = `refs/pull/${prNumber}/head`;
-            const parameters = {
-                'pr.comment.id': comment.id,
-            };
-            const pipelineId = pipelines[repositoryOwner];
-            if (!pipelineId || pipelineId < 1)
-                throw new Error(`No pipeline set up for org ${repositoryOwner}`);
-            context.log(`Queuing with branch ${sourceBranch} and parameters ${JSON.stringify(parameters)}`);
-            await triggerAzurePipeline(triggerToken, 'gitgitgadget', 'git', pipelineId, sourceBranch, parameters);
-
-            context.res = {
-                // status: 200, /* Defaults to 200 */
-                body: 'Okay!',
-            };
-        } else {
-            context.log(`Unhandled request:\n${JSON.stringify(req, null, 4)}`);
-            context.res = {
-                body: 'No idea what this is about, but okay.',
-            };
-        }
-    } catch (e) {
-        context.log('Caught exception ' + e);
-        context.res = {
-            status: 500,
-            body: 'Caught an error: ' + e,
-        };
-    }
-
-    context.done();
-};