about summary refs log tree commit diff
path: root/.github
AgeCommit message (Expand)AuthorLines
2020-01-30Deprecate util/dev in favor of cargo aliasPhilipp Hansch-2/+2
2019-11-30deploy: cd to out/ before adding files to gitLzu Tao-0/+1
2019-11-29Fix master deploymentPhilipp Hansch-0/+1
2019-10-22build: improve script and travis configLzu Tao-30/+25
2019-10-10PR template might not be stripped by contributorsLzu Tao-2/+3
2019-08-08template: Update how to format source code with ./util/devLzu Tao-2/+4
2019-04-16Update PULL_REQUEST_TEMPLATEOliver Scherer-0/+4
2019-04-16Add new lint checklistOliver Scherer-0/+9
2019-04-16Create PULL_REQUEST_TEMPLATEOliver Scherer-0/+15
2019-01-08Remove all copyright license headersPhilipp Hansch-11/+0
2018-10-06Add license header to other filesManish Goregaokar-0/+12
2018-09-13Update ISSUE_TEMPLATEPhilipp Hansch-1/+1
2018-05-16Add exec bit, add set -ex to ci test filesPhilipp Hansch-2/+1
2018-04-11Add set -x for debuggingPhilipp Hansch-0/+1
2018-04-11Debug deployment script issuesPhilipp Hansch-3/+3
2017-08-03Generate version index for docs domain indexPascal Hertleif-0/+13
2016-08-17Fix Travis not pushing gh-pages for tagsmcarton-2/+5
2016-07-19Revert "Maybe fix `deploy.sh`"mcarton-2/+1
2016-07-19Add encryption label to deploy.shmcarton-0/+1
2016-07-19Fix deploy.sh IIImcarton-3/+3
2016-07-19Fix deploy.sh IImcarton-10/+10
2016-07-19Maybe fix `deploy.sh`mcarton-1/+2
2016-07-19Fix deploy.sh and python2 usagemcarton-1/+1
2016-07-19Setup automatic push of gh-pagesmcarton-0/+66
2016-06-10Add a issue template and specify a *recent* nightly is neededmcarton-0/+8
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-11 00:41:41 +0000