dnrops
/
rust
mirror of https://github.com/rust-lang/rust.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
6,949 Commits 7 Branches 138 Tags 1.7 GiB
Commit Graph

21 Commits

Author SHA1 Message Date
Lzu Tao 871b30266c PR template might not be stripped by contributors 2019-10-10 00:57:57 +07:00
Lzu Tao 5cad46d15a template: Update how to format source code with ./util/dev 2019-08-08 21:37:19 +07:00
Oliver Scherer d383a12deb
Update PULL_REQUEST_TEMPLATE 2019-04-16 15:15:19 +02:00
Oliver Scherer f33cbc152d
Add new lint checklist 2019-04-16 13:30:46 +02:00
Oliver Scherer 275dbec86d
Create PULL_REQUEST_TEMPLATE 2019-04-16 11:04:42 +02:00
Philipp Hansch 38d4ac7cea
Remove all copyright license headers 
Discussion previously happened in https://github.com/rust-lang/rust/pull/43498
 2019-01-08 21:46:39 +01:00
Manish Goregaokar 23e5e24f52 Add license header to other files 2018-10-06 09:43:08 -07:00
Philipp Hansch 86afd26a6e
Update ISSUE_TEMPLATE 2018-09-13 18:31:39 +02:00
Philipp Hansch 9e6dc8d2d5
Add exec bit, add set -ex to ci test files 2018-05-16 18:55:21 +02:00
Philipp Hansch bdba9c14e7
Add set -x for debugging 2018-04-11 08:23:02 +02:00
Philipp Hansch 8fbeaa81d8
Debug deployment script issues 
This prints some more information during the docs deployment.
 2018-04-11 08:13:59 +02:00
Pascal Hertleif b3c90efcb4 Generate version index for docs domain index 
Uses basically the same code as the lint docs page as I didn't want to
reinvent anything: A simple python script (inline in deploy script)
writes an array of versions to a JSON file, which gets turned into a
list of links using a bit of angular.js code.

Fixes #1917
 2017-08-03 21:21:59 +02:00
mcarton 495f4bbf9f Fix Travis not pushing gh-pages for tags 
Turns out $TRAVIS_BRANCH is the tag name for tags.
 2016-08-17 15:25:21 +02:00
mcarton e3559ec4fc Revert "Maybe fix `deploy.sh`" 
This reverts commit c6c8560861.
 2016-07-19 23:08:41 +02:00
mcarton 8587bbe922 Add encryption label to deploy.sh 
Aka. “Fix deploy.sh IV”
 2016-07-19 23:00:36 +02:00
mcarton 1155925305 Fix deploy.sh III 2016-07-19 22:48:52 +02:00
mcarton e8c54edfe1 Fix deploy.sh II 2016-07-19 22:42:09 +02:00
mcarton c6c8560861 Maybe fix `deploy.sh` 2016-07-19 22:27:39 +02:00
mcarton 3fab9a8970
Fix deploy.sh and python2 usage 2016-07-19 22:07:39 +02:00
mcarton 01c61a714b
Setup automatic push of gh-pages 2016-07-19 21:26:16 +02:00
mcarton d80436f9f2
Add a issue template and specify a *recent* nightly is needed 2016-06-10 13:47:47 +02:00