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

Already on GitHub? Sign in to your account

About us history #919

Closed
wants to merge 4 commits into
from

Conversation

Projects
None yet
3 participants
Contributor

wbnns commented Jun 26, 2015

@harding - Updated my name.

harding and others added some commits Jun 17, 2015

Build Scripts: Require GPG-signed Commits
- Update build script

- Add authorized keys
Contributor

saivann commented Jun 26, 2015

Commit 3c15f80 LGTM.

@Coderwill I'm closing the pull request as you've submitted it against bitcoin-dot-org:master (the branch you are updating is at harding:about-us-history, that's where you can submit the change so it can be merged into David's branch and pull request). Either way if you have trouble with that part, for as long as you don't delete your branch, David can easily merge your commit into his branch.

@saivann saivann closed this Jun 26, 2015

Contributor

wbnns commented Jun 26, 2015

@saivann Ah, ok - apologies. When I try to push to @harding Github asks me for a new username and password. On GitHub itself, my commit is not available as a PR on his fork.

Contributor

harding commented Jun 26, 2015

@Coderwill cherry-pick'd and pushed your commit to the main PR, so it's safe to delete your branch now.

I'll also separately see if I can improve the README docs to better describe working across multiple repositories. Thanks!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment