Skip to content

Conversation

@doniks
Copy link
Contributor

@doniks doniks commented Oct 25, 2019

No description provided.

@doniks
Copy link
Contributor Author

doniks commented Oct 25, 2019

Hi there,

my first pr for this project. I have skipped the issue creation because it is so tiny issues/fixes. Also, I haven't made a pr to development-publish yet, since github tells me it can't be merged automatically - seems development-publish is a few commits behind publish. Let me know if you want anything differently with this.

I'm just getting started with pycom, so I might find more of these tiny fixes as I go.

Cheers,
Peter

@jirkadev
Copy link
Contributor

Hi @doniks I updated development-publish branch and it should be possible to open PR there too

Copy link
Contributor

@jirkadev jirkadev left a comment

Choose a reason for hiding this comment

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

Good job! I synced the development-publish branch

@jirkadev jirkadev merged commit 9538f65 into pycom:publish Oct 28, 2019
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.

2 participants