2017-04-08 10:19:07 +02:00
|
|
|
---
|
|
|
|
|
# Github repository is cloned every day on Gitlab.com
|
|
|
|
|
# https://gitlab.com/minetest/minetest
|
|
|
|
|
# Pipelines URL: https://gitlab.com/minetest/minetest/pipelines
|
|
|
|
|
|
2021-01-02 15:43:35 +01:00
|
|
|
|
2019-04-12 14:29:29 +02:00
|
|
|
pages:
|
|
|
|
|
stage: deploy
|
2020-04-11 20:38:39 +02:00
|
|
|
image: python:3.8
|
2019-04-12 14:29:29 +02:00
|
|
|
script:
|
2024-01-10 21:31:39 +01:00
|
|
|
- ./misc/make_redirects.sh
|
2019-04-12 14:29:29 +02:00
|
|
|
artifacts:
|
|
|
|
|
paths:
|
|
|
|
|
- public
|
|
|
|
|
only:
|
|
|
|
|
- master
|
