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

Add @diml's post on utop (for 26 Aug) #15

Merged
merged 6 commits into from
Aug 26, 2014
Merged

Add @diml's post on utop (for 26 Aug) #15

merged 6 commits into from
Aug 26, 2014

Conversation

amirmc
Copy link
Member

@amirmc amirmc commented Aug 19, 2014

For #6

This is a great draft and with a few tweaks will make a great
guest post.

This could go up either on Wed or Thu.

This is a great draft and with a few tweaks will make a great
guest post.
@avsm
Copy link
Member

avsm commented Aug 19, 2014

suggestion: edit to add proposed publication date to pull request title.

On 19 Aug 2014, at 14:37, Amir Chaudhry [email protected] wrote:

This is a great draft and with a few tweaks will make a great
guest post.

This could go up either on Wed or Thu.

You can merge this Pull Request by running

git pull https://github.com/ocaml/platform-blog utop
Or view, comment on, or merge it at:

#15

Commit Summary

Add @diml's post on utop
File Changes

A about-utop.md (185)
Patch Links:

https://github.com/ocaml/platform-blog/pull/15.patch
https://github.com/ocaml/platform-blog/pull/15.diff

Reply to this email directly or view it on GitHub.

@amirmc amirmc changed the title Add @diml's post on utop Add @diml's post on utop (for 21 Aug?) Aug 19, 2014
@amirmc amirmc mentioned this pull request Aug 19, 2014
10 tasks
@amirmc amirmc changed the title Add @diml's post on utop (for 21 Aug?) Add @diml's post on utop (for 22 Aug) Aug 21, 2014
@amirmc
Copy link
Member Author

amirmc commented Aug 21, 2014

This should be reviewed today (21st) and merged tomorrow (22nd). I'll give it another pass later today (will comment here I'm planning to push changes)

@amirmc
Copy link
Member Author

amirmc commented Aug 22, 2014

I'm making edits to this now.

@amirmc
Copy link
Member Author

amirmc commented Aug 22, 2014

I've made a few tweaks and I'm happy for this to be merged. I welcome more feedback, though.

@avsm will you be reviewing/merging this?

The possible completions are displayed in the completion bar below the
prompt. It is possible to navigate in the list by using the meta key
(`Alt` by default most of the time) and the left and right arrows. A
word can be selected by pressing the meta key and `TAB`. Also pressing
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Alt+Tab for me just moves the cursor right (using xterm). And isn't alt-tab a window manager hotkey on almost every system?

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Alt and Meta aren't always the same, except when they are (says the guy who's trying to figure his way around emacs for the first time).

@avsm
Copy link
Member

avsm commented Aug 22, 2014

Yes, will review shortly; been travelling

On 22 Aug 2014, at 15:06, Amir Chaudhry [email protected] wrote:

I've made a few tweaks and I'm happy for this to be merged. I welcome more feedback, though.

@avsm will you be reviewing/merging this?


Reply to this email directly or view it on GitHub.

@amirmc amirmc changed the title Add @diml's post on utop (for 22 Aug) Add @diml's post on utop (for 26 Aug) Aug 26, 2014
avsm added a commit that referenced this pull request Aug 26, 2014
Add @diml's post on utop (for 26 Aug)
@avsm avsm merged commit 0114158 into master Aug 26, 2014
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants