og1
/
test
1
0
Fork 0
Code Issues Pull Requests 1 Releases 1 Wiki Activity

Initial commit

This commit is contained in:
forgetest5 2021-07-01 15:49:15 +08:00
commit 85a5cf74e4
3 changed files with 73 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
.gitignore vendored Normal file
View File

@ -0,0 +1,4 @@
# ---> Agda
*.agdai
MAlonzo/**

49
LICENSE Normal file
View File

@ -0,0 +1,49 @@
Attribution Assurance License Copyright (c) 2002 by AUTHOR PROFESSIONAL IDENTIFICATION
* URL "PROMOTIONAL SLOGAN FOR AUTHOR'S PROFESSIONAL PRACTICE"
All Rights Reserved ATTRIBUTION ASSURANCE LICENSE (adapted from the original
BSD license)
Redistribution and use in source and binary forms, with or without modification,
are permitted provided that the conditions below are met. These conditions
require a modest attribution to <AUTHOR> (the "Author"), who hopes that its
promotional value may help justify the thousands of dollars in otherwise billable
time invested in writing this and other freely available, open-source software.
1. Redistributions of source code, in whole or part and with or without modification
(the "Code"), must prominently display this GPG-signed text in verifiable
form.
2. Redistributions of the Code in binary form must be accompanied by this
GPG-signed text in any documentation and, each time the resulting executable
program or a program dependent thereon is launched, a prominent display (e.g.,
splash screen or banner text) of the Author's attribution information, which
includes:
(a) Name ("AUTHOR"),
(b) Professional identification ("PROFESSIONAL IDENTIFICATION"), and
(c) URL ("URL").
3. Neither the name nor any trademark of the Author may be used to endorse
or promote products derived from this software without specific prior written
permission.
4. Users are entirely responsible, to the exclusion of the Author and any
other persons, for compliance with (1) regulations set by owners or administrators
of employed equipment, (2) licensing terms of any other software, and (3)
local regulations regarding use, including those regarding import, export,
and use of encryption software.
THIS FREE SOFTWARE IS PROVIDED BY THE AUTHOR "AS IS" AND ANY EXPRESS OR IMPLIED
WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY
AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
AUTHOR OR ANY CONTRIBUTOR BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
EFFECTS OF UNAUTHORIZED OR MALICIOUS NETWORK ACCESS; PROCUREMENT OF SUBSTITUTE
GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH
DAMAGE.

20
README.md Normal file
View File

@ -0,0 +1,20 @@
#### 从命令行创建一个新的仓库
```bash
touch README.md
git init
git add README.md
git commit -m "first commit"
git remote add origin http://testgitea2.trustie.net/og1/test.git
git push -u origin master
```
#### 从命令行推送已经创建的仓库
```bash
git remote add origin http://testgitea2.trustie.net/og1/test.git
git push -u origin master
```