Commit graph

18 commits

Author SHA1 Message Date
Tim 4b251aab22
Meta: GitHub tag action: add commit key (#248)
The COMMIT_KEY secret contains a private SSH key. The associated public
key has been added as a deploy key in the GitHub project. See:
https://docs.github.com/en/developers/overview/managing-deploy-keys#deploy-keys

This is necessary to make commits done by github-actions able to trigger
further github-actions. See:
https://stackoverflow.com/q/60418323/3018229.
2022-12-06 11:14:32 +08:00
Tim 43f5f1c58e
Merge pull request #241 from carlfriedrich/move-implementation-to-standalone-forgit
Move implementation to standalone forgit
2022-11-26 13:10:26 +01:00
carlfriedrich 402de02eea Meta: GitHub release: update to checkout@v3
checkout@v2 uses deprecated Node.js 12. See:
https://discourse.julialang.org/t/node-js-12-actions-deprecation-warning-on-github/88718
2022-11-24 15:08:30 +01:00
carlfriedrich f3d9d62776 Meta: GitHub tag action: pass GitLab URL as an env variable
GitHub action variables are not available in called shell scripts. They
have to be explicitly passed from the YAML file. See:
https://github.com/orgs/community/discussions/27027
2022-11-24 14:55:49 +01:00
carlfriedrich 37f21753ae Meta: change line-endings from CRLF to LF 2022-11-24 14:54:00 +01:00
carlfriedrich f0e9e4f748 Meta: Add GitHub tag action
The action is executed on every first day of a month. It checks whether
the current master is already tagged and, if not, creates a new release
tag.
2022-11-23 19:02:01 +01:00
carlfriedrich eedf3ae890 Meta: Add GitHub release action
The action is executed on every tag and creates a GitHub release. The
release contains a .tar.gz asset and a changelog consisting of all
commit messages since the previous tag. Commits with a commit message
starting with "Meta" are excluded from the changelog.
2022-11-23 17:42:42 +01:00
carlfriedrich 4995c614e4 Move implementation to standalone forgit
Previously we had two different forgit implementations: one for zsh/bash
and one for fish. In this commit we move the bash implementation of the
forgit functions to the git-forgit script in order to have them in the
form of an executable script. This makes using forgit possible without
any shell plugin at all and furthermore removes the need to maintain a
separate implementation for the fish shell.

The simplest way of using forgit from now on is to put git-forgit
somewhere in your PATH and call it via "git forgit", without the need
for any other files.

We keep the shell plugins, though, and maintain backwards compatibility
by retaining the plugin functions as simple wrappers around the
git-forgit script, making the plugins mainly a collection of aliases
only.
2022-11-14 17:52:58 +01:00
Tim 2872548075
GitHub actions: update to Ubuntu 22.04 (#240)
The Ubuntu 18.04 CI image is deprecated:
https://github.com/actions/runner-images/issues/6002

Switch to the new 22.04 image instead.
2022-10-14 16:05:53 +02:00
ccoVeille f6040b21a0
fix typo in comments and README files (#230) 2022-08-09 19:07:59 -07:00
Wenxuan Zhang b727321f2b
ci: remove outdated env 2021-10-26 18:45:45 +08:00
AoHiyuki 56f5aaafbc
feat: add fisher support for fish
Fix typo in function name and add some function descriptions

Update fish ci job

Update README

Update README for fish manual installation, revert shortlink

Merge all the files back to 1 like before

refactor: use symbol link

docs: simplify changes
2020-10-13 11:04:47 +08:00
Wenxuan Zhang e69def2cbe ci: add shellcheck
Former-commit-id: 5698137887
2020-08-11 17:53:40 +08:00
Wenxuan Zhang 0dc91503d9 ci: fix old fish version
Former-commit-id: 2f286ef785
2020-08-11 17:31:08 +08:00
Wenxuan Zhang f2b8166a40 ci: add version info
Former-commit-id: 2d48dde0b3
2020-08-11 17:16:16 +08:00
Wenxuan Zhang 428ed11618 ci: split
Former-commit-id: fea7771a0c
2020-08-11 17:08:40 +08:00
Wenxuan Zhang 959052aabf ci: fix prerequisites
Former-commit-id: 74858434a8
2020-08-11 17:02:57 +08:00
Wenxuan Zhang 0011eb4f13 ci: add github actions ci
Former-commit-id: 75441a90a8
2020-08-11 16:56:23 +08:00