Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Proposal for Goals #51

Merged
merged 56 commits into from
Jul 20, 2020
Merged
Show file tree
Hide file tree
Changes from 53 commits
Commits
Show all changes
56 commits
Select commit Hold shift + click to select a range
2ae6b6f
Merge pull request #1 from carbon-language/master
jonmeow May 20, 2020
5bba3a8
Merge remote-tracking branch 'upstream/master'
jonmeow May 20, 2020
98562a6
Merge remote-tracking branch 'upstream/master'
jonmeow May 21, 2020
a05e9c3
Merge pull request #2 from carbon-language/master
jonmeow Jun 1, 2020
dfe42cb
Merge pull request #3 from carbon-language/master
jonmeow Jun 3, 2020
fe8fa07
Initial proposal commit
jonmeow Jun 3, 2020
f0d450d
Migrating proposal
jonmeow Jun 3, 2020
3931951
Merge pull request #4 from carbon-language/master
jonmeow Jun 4, 2020
66eb65e
Adjustments per hfinkel's comments
jonmeow Jun 4, 2020
43cfde9
Merge pull request #5 from carbon-language/master
jonmeow Jun 10, 2020
b489c23
Merge pull request #6 from carbon-language/master
jonmeow Jun 12, 2020
7873e9e
Adjusting style
jonmeow Jun 12, 2020
5b10b4d
Merge pull request #7 from carbon-language/master
jonmeow Jun 12, 2020
6ce0f97
Merge remote-tracking branch 'upstream/master'
jonmeow Jun 16, 2020
b0671e6
Minor updates
jonmeow Jun 17, 2020
f2833b4
Merge
jonmeow Jun 17, 2020
e3649f6
TOC update
jonmeow Jun 17, 2020
218df9f
Merge remote-tracking branch 'upstream/master'
jonmeow Jun 22, 2020
5c33fbf
Merge remote-tracking branch 'upstream/master'
jonmeow Jun 22, 2020
50712c0
Merge branch 'master' into proposal-goals
jonmeow Jun 24, 2020
f2f89b8
Mention metrics
jonmeow Jun 24, 2020
6549c37
Apply suggestions from code review
jonmeow Jun 25, 2020
a9df5f7
Responding to geoffromer's comments
jonmeow Jun 2, 2020
c12bd5c
Remove period in header
jonmeow Jun 2, 2020
7e5e8cc
Use the principles README.
jonmeow Jun 2, 2020
806605d
Metrics principle skeleton
jonmeow Jun 25, 2020
cbaca0c
Principle adjustments
jonmeow Jun 25, 2020
0cc6911
Reword
jonmeow Jun 25, 2020
2ce2a66
Responding to zygoloid
jonmeow Jun 2, 2020
b32b17a
Update docs/project/principles/metrics.md
jonmeow Jun 26, 2020
e088138
Shuffle the mention of metrics, add a little to note that this propos…
jonmeow Jun 2, 2020
b903f72
Update proposals/p0051.md
jonmeow Jun 26, 2020
6f75b55
Responding to comments
jonmeow Jun 2, 2020
1311c35
Update docs/project/goals.md
jonmeow Jun 29, 2020
45501e8
Working on comments
jonmeow Jun 2, 2020
8eb3304
Apply suggestions from code review
jonmeow Jun 30, 2020
0dc7dfb
Merge branch 'proposal-goals' of https://github.com/jonmeow/carbon-la…
jonmeow Jun 2, 2020
1da207b
Prettier
jonmeow Jun 2, 2020
0f274d4
Working on feedback
jonmeow Jun 2, 2020
9b088f8
criteria link
jonmeow Jun 2, 2020
1f23c39
Responding to josh11b
jonmeow Jun 2, 2020
c6c61dc
Update docs/project/goals.md
jonmeow Jun 30, 2020
0c9e59a
Update docs/project/goals.md
jonmeow Jul 1, 2020
d0b3eeb
Update docs/project/goals.md
jonmeow Jul 1, 2020
cb5cc8c
Update docs/project/goals.md
jonmeow Jul 1, 2020
03882ab
Addressing comments
jonmeow Jun 2, 2020
b7006f2
Addressing comments
jonmeow Jun 2, 2020
dad35a7
Addressing comments
jonmeow Jun 2, 2020
269322b
Apply suggestions from code review
jonmeow Jul 6, 2020
30c31e4
Addressing comments
jonmeow Jul 6, 2020
37c7be9
Some adjustments
jonmeow Jul 6, 2020
8dee965
Addressing comments
jonmeow Jul 6, 2020
cbf6f78
Apply suggestions from code review
jonmeow Jul 7, 2020
0e91331
Update proposals/p0051.md
jonmeow Jul 8, 2020
6981c0b
Apply suggestions from code review
jonmeow Jul 8, 2020
2033dae
Small rewordings, shouldn't impact decision
jonmeow Jul 8, 2020
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading