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 thousand-separator commas to TotalParams #7910

Closed
wants to merge 2 commits into from
Closed

Add thousand-separator commas to TotalParams #7910

wants to merge 2 commits into from

Conversation

jxtps
Copy link
Contributor

@jxtps jxtps commented Jun 18, 2019

What changes were proposed in this pull request?

The number of parameters can be quite large, and it would help the reading of the summary printout to have the TotalParams column & values at the bottom have thousand-separator-commas in them. This PR adds that.

How was this patch tested?

Sorry, no testing, edits are tiny and hopefully clear. Didn't run mvn formatter since all changes were inline.

The number of parameters can be quite large, and it would help the reading of the summary printout to have the TotalParams column & values at the bottom have thousand-separator-commas in them.
Copy link
Contributor

@AlexDBlack AlexDBlack left a comment

Choose a reason for hiding this comment

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

Corresponding change to MultiLayerNetwork
@jxtps
Copy link
Contributor Author

jxtps commented Jun 18, 2019

Added the MultiLayerNetwork change you requested. Signed the Eclipse Contributor Agreement, but it's still complaining about some Signed-off-by footer, which I don't know how to fix.

@saudet
Copy link
Contributor

saudet commented Jun 18, 2019

@jxtps I think that just means you need to do your commits with git commit -s ....

@jxtps
Copy link
Contributor Author

jxtps commented Jun 18, 2019

I'll redo it.

@jxtps jxtps closed this Jun 18, 2019
@jxtps
Copy link
Contributor Author

jxtps commented Jun 18, 2019

Redoing it failed. Sorry, but I give up. I just wanted to do a quick edit I thought would be useful in the Github web interface - I haven't even checked out the code to my desktop. Too many hoops for too little benefit.

#7915

@saudet
Copy link
Contributor

saudet commented Jun 19, 2019

Doing git reset ... , git commit -s ..., and git push --force ... would probably have done it though.

@jxtps
Copy link
Contributor Author

jxtps commented Jun 19, 2019

Sure, but those don't seem to be available in the github web interface?

Yes, of course I could check out the code to my desktop, jump through whatever hoops to get things working on this account, etc, etc.

But.

For super-tiny-but-useful changes like this, not to mention documentation changes, requiring that additional workflow is very frustrating.

There is something magically powerful about being able to navigate to a file on github.com click the little pen icon, make some edits, done.

Signing the ECA isn't that big of a deal since it's a one-off, but the signed-off-by footer... sigh... the lawyers won and everyone else lost.

Maybe Github could add the signed off footer feature to their online commits - should basically "just" be a checkbox.

Ok, I'm going to stop whining now ;)

@saudet
Copy link
Contributor

saudet commented Jun 19, 2019

The web UI, yeah ok, looks like we got an issue open for that here: todogroup/gh-issues#50

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.

3 participants