3

The search "this pull request couldn't be reverted automatically" was not finding post. The reason was that a single quote symbol in the message was replaced with apostrophe ("couldn’t"). Now I edited the question, so that is worked around (to be honest I don't know what's really in the message if one copies it from the github's UI(*)). It is however not a first time unicode punctuations sneak info messages or even code snippets in internet pages - long dash vs minus, quotation marks vs double quotes, and now this.

It would be nice if a text which contains such unicode punctuations could be found as one with their ASCII conterparts. And maybe the other way around as well.

(*) it was found that the message is copied with apostrophe. This makes "the other way around" feature important. However, subjectively I still feel like ASCII version is still the common way to write texts and should be able to be searched.

5
  • That's why you should use a real search engine instead of SO search...
    – user202729
    Commented Apr 21, 2019 at 3:18
  • (note that if the copied-pasted text from GitHub has that smart quote, somebody may copy and paste the error message and could not find the post as well...)
    – user202729
    Commented Apr 21, 2019 at 3:20
  • 1
    I think it’s because it’s formatted as code. It shouldn’t be.
    – Laurel
    Commented Apr 21, 2019 at 4:38
  • @Laurel was it? I think this way to format called "quote" and sort of proper way to quote messages.
    – max630
    Commented Apr 21, 2019 at 5:08
  • 1
    Usually I use code blocks to quote things that looks good in monospace font (compiler error message for example), but the feature called blockquote is "> content"
    – user202729
    Commented Apr 21, 2019 at 5:28

0

You must log in to answer this question.

Browse other questions tagged .